Theory and Applications of Satisfiability Testing

DOI10.1007/B95238zbMATH Open1204.68208OpenAlexW2494235144MaRDI QIDQ5325854FDOQ5325854

Authors Steven Prestwich

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) Graph algorithms (graph-theoretic aspects) (05C85) Graph theory (including graph drawing) in computer science (68R10) Coloring of graphs and hypergraphs (05C15)

Recommendations

• scientific article; zbMATH DE number 5305148
• Theory and Applications of Satisfiability Testing
• scientific article; zbMATH DE number 2016108
• Another look at graph coloring via propositional satisfiability
• Local search algorithms for SAT: an empirical evaluation

Cited in

(12)

• Generalised graph colouring by a hybrid of local search and constraint programming
• The state of SAT
• Theory and Applications of Satisfiability Testing
• Automated reformulation of specifications by safe delay of constraints
• Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings
• Clause weighting local search for SAT
• Programming for modular reconfigurable robots
• scientific article; zbMATH DE number 2016108 (Why is no real title available?)
• An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
• Modelling and solving temporal reasoning as propositional satisfiability
• Another look at graph coloring via propositional satisfiability
• scientific article; zbMATH DE number 1405442 (Why is no real title available?)

Describes a project that uses

Uses Software

• Chaff

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