no code implementations • 14 Oct 2017 • Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
When the constraints are expressed as DNF formulas, Monte Carlo-based techniques have been shown to provide a fully polynomial randomized approximation scheme (FPRAS).