Model counting of monotone conjunctive normal form formulas with spectra
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 | Statistische Verteilung | Statistical distribution | Graphentheorie | Graph theory |
-
Rapid method for impact analysis of grid-edge technologies on power distribution networks
Li, Feng, (2022)
-
A rapid method for impact analysis of grid-edge technologies on power distribution networks
Li, Feng, (2023)
-
Chapter 1 Bayesian Forecasting
Geweke, John, (2006)
- More ...
-
Near-optimal course scheduling at the technion
Strichman, Ofer, (2017)
-
Using deficit functions for aircraft fleet routing
Stern, Helman I., (2019)
-
Models of preventive maintenance
Gercbach, Ilʹja B., (1977)
- More ...