A Pearl on SAT Solving in Prolog

DOI10.1007/978-3-642-12251-4_13zbMath1284.68115OpenAlexW1946627845MaRDI QIDQ3558337

Andy King, Jacob M. Howe

Publication date: 4 May 2010

Published in: Functional and Logic Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

A pearl on SAT and SMT solving in Prolog ⋮ Backjumping is Exception Handling

This page was built for publication: A Pearl on SAT Solving in Prolog