scientific article
From MaRDI portal
Publication:2749861
zbMath0979.68088MaRDI QIDQ2749861
Joost P. Warners, Jan Friso Groote
Publication date: 21 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unnamed Item, Approximating minimal unsatisfiable subformulae by means of adaptive core search, Extended resolution simulates binary decision diagrams, Efficient data structures for backtrack search SAT solvers, A complete adaptive algorithm for propositional satisfiability
Uses Software
