scientific article; zbMATH DE number 5996383

DOI10.3233/978-1-60750-754-3-90MaRDI QIDQ3112595zbMATH OpenFDO

Authors Pavel Surynek

Publication date 11 January 2012

Full work available at URL https://doi.org/10.3233/978-1-60750-754-3-90

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Local consistency and SAT-solvers
• Algorithms and Computation
• Correct Hardware Design and Verification Methods
• SAT-solving in CSP trace refinement
• On Local Versus Global Satisfiability
• Checking static properties using conservative SAT approximations for reachability

This page was built for publication:

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