Resolution tunnels for improved SAT solver performance

DOI10.1007/11499107_11MaRDI QIDQ5713706zbMATH OpenOpenAlexFDO

Authors Michal Kouril, John V. Franco

Publication date 15 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b137280

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Satisfiability and computing van der Waerden numbers
• Theory and Applications of Satisfiability Testing
• On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
• On tackling the limits of resolution in SAT solving
• A novel SAT solver for the van der Waerden numbers

Cited in

(9)

• Satisfiability and computing van der Waerden numbers
• The SAT+CAS method for combinatorial search with applications to best matrices
• A novel SAT solver for the van der Waerden numbers
• scientific article; zbMATH DE number 5542984 (Why is no real title available?)
• Finding Lean Induced Cycles in Binary Hypercubes
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Automated streamliner portfolios for constraint satisfaction problems
• Computer-aided proof of Erdős discrepancy properties

This page was built for publication: Resolution tunnels for improved SAT solver performance

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