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

DOI10.1023/A:1021200130191MaRDI QIDQ1861906zbMATH OpenOpenAlexFDO

Authors 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

conjunctive normal formelliptic approximationsatisfiability

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Solving satisfiability problems using elliptic approximations -- effective branching rules
• Elliptic approximations of propositional formulae
• scientific article; zbMATH DE number 1336257
• On variable-weighted exact satisfiability problems
• Estimating satisfiability

Cited in

(4)

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

This page was built for publication: Solving satisfiability problems using elliptic approximations. A note on volumes and weights

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1861906)