A Bit-Encoding Phase Selection Strategy for Satisfiability Solvers

DOI10.1007/978-3-319-06089-7_11zbMath1405.68322OpenAlexW10891775MaRDI QIDQ5410641

Jing-Chao Chen

Publication date: 16 April 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06089-7_11

zbMATH Keywords

SAT solverconflict-driven DPLLphase selection for SAT solvers

Mathematics Subject Classification ID

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

Related Items (1)

Using Community Structure to Detect Relevant Learnt Clauses

Uses Software

• Chaff

This page was built for publication: A Bit-Encoding Phase Selection Strategy for Satisfiability Solvers