Model counting of monotone conjunctive normal form formulas with spectra
Radislav Vaisman; Ofer Strichman; Ilya Gertsbakh
| Year of publication: |
2015
|
|---|---|
| Authors: | Vaisman, Radislav ; Strichman, Ofer ; Gercbach, Ilʹja B. |
| Published in: |
INFORMS journal on computing : JOC. - Catonsville, MD : INFORMS, ISSN 1091-9856, ZDB-ID 1316077-1. - Vol. 27.2015, 2, p. 406-415
|
| Subject: | simulation | counting | Monte Carlo | monotone CNF | random graphs | Simulation | Monte-Carlo-Simulation | Monte Carlo simulation | Graphentheorie | Graph theory |
| Type of publication: | Article |
|---|---|
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://ebvufind01.dmz1.zbw.eu/10011291287