Assignment Stack Shrinking

DOI10.1007/978-3-642-14186-7_35zbMath1306.68169OpenAlexW2170253995MaRDI QIDQ4931560

Vadim Ryvchin, Alexander Nadel

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_35

Mathematics Subject Classification ID

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

Related Items (1)

Between Restarts and Backjumps

Uses Software

• MiniSat
• Zchaff2004
• Chaff
• PicoSAT
• Jerusat
• Eureka

This page was built for publication: Assignment Stack Shrinking