Between Restarts and Backjumps

DOI10.1007/978-3-642-21581-0_18zbMath1330.68276OpenAlexW1535230609MaRDI QIDQ3007685

No author found.

Publication date: 17 June 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-21581-0_18

Mathematics Subject Classification ID

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

Related Items (1)

Deciding the Bernays-Schoenfinkel fragment over bounded difference constraints by simple clause learning over theories

Uses Software

• MiniSat
• Chaff

Cites Work

• Unnamed Item
• Optimal speedup of Las Vegas algorithms
• Assignment Stack Shrinking
• Theory and Applications of Satisfiability Testing

This page was built for publication: Between Restarts and Backjumps