Theory and Applications of Satisfiability Testing

DOI10.1007/B95238MaRDI QIDQ5325846zbMATH OpenOpenAlexDBLPFDO

Authors Michael R. Dransfield, Wiktor Marek, Mirosław Truszczyński

Publication date 24 July 2009

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

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Ramsey theory (05D10)

Recommendations

• Satisfiability and computing van der Waerden numbers
• On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
• On computation of exact van der Waerden numbers
• Theory and Applications of Satisfiability Testing
• Green-Tao Numbers and SAT

Cited in

(9)

• On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
• Finding Lean Induced Cycles in Binary Hypercubes
• A novel SAT solver for the van der Waerden numbers
• Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
• Satisfiability and computing van der Waerden numbers
• Theory and Applications of Satisfiability Testing
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• The SAT+CAS method for combinatorial search with applications to best matrices
• Green-Tao Numbers and SAT

Describes a project that uses

Uses Software

• BerkMin
• Chaff
• SATO

This page was built for publication: Theory and Applications of Satisfiability Testing

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