Solving satisfiability problems using elliptic approximations. A note on volumes and weights

DOI10.1023/A:1021200130191zbMath1010.68070OpenAlexW1593407569MaRDI QIDQ1861906

Hans van Maaren, Joost P. Warners

Publication date: 10 March 2003

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1021200130191

zbMATH Keywords

satisfiabilityconjunctive normal formelliptic approximation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items

Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances, Solving satisfiability problems using elliptic approximations -- effective branching rules