Theory and Applications of Satisfiability Testing

DOI10.1007/B95238zbMATH Open1204.05097DBLPconf/sat/2003OpenAlexW2494235144MaRDI QIDQ5325846FDOQ5325846

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

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

Mathematics Subject Classification ID

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

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

Uses Software

• SATO
• Chaff
• BerkMin

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)