Theory and Applications of Satisfiability Testing

DOI10.1007/B95238MaRDI QIDQ5325867zbMATH OpenOpenAlexDBLPFDO

Authors Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson

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

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• CDCLSym: introducing effective symmetry breaking in SAT solving
• Implementing efficient All solutions SAT solvers
• Improved static symmetry breaking for SAT
• Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers
• \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver

Cited in

(13)

• A study of symmetry breaking predicates and model counting
• Symbolic techniques in satisfiability solving
• Implementing efficient All solutions SAT solvers
• Disjunctive closures for knowledge compilation
• Fast, flexible MUS enumeration
• scientific article; zbMATH DE number 7204563 (Why is no real title available?)
• Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers
• Utilizing shelve slots: Sufficiency conditions for some easy instances of hard problems
• Improving the performance of enumerative search methods. II: Computational experiments
• Testing-based formal verification for theorems and its application in software specification verification
• scientific article; zbMATH DE number 6829393 (Why is no real title available?)
• Enumerating All Solutions for Constraint Satisfaction Problems
• Enriching Solutions to Combinatorial Problems via Solution Engineering

Describes a project that uses

Uses Software

• Jerusat
• TestEra
• BerkMin
• Chaff
• CUDD
• Galileo

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 Q5325867)