SAT Solving with Reference Points

DOI10.1007/978-3-642-14186-7_13zbMath1306.68162OpenAlexW1578900789MaRDI QIDQ4930585

Stephan Kottler

Publication date: 29 September 2010

Published in: Theory and Applications of Satisfiability Testing – SAT 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14186-7_13

Mathematics Subject Classification ID

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

Related Items (1)

An overview of parallel SAT solving

This page was built for publication: SAT Solving with Reference Points