A two phase algorithm for solving a class of hard satisfiability problems / J.P. Warners, H. van Maaren
mainEntity
A two phase algorithm for solving a class of hard satisfiability problems / J.P. Warners, H. van Maaren
about
author
contributor
inLanguage
isPartOf
mainEntityOfPage
name
A two phase algorithm for solving a class of hard satisfiability problems
numberOfPages
publication
sameAs
label
A two phase algorithm for solv ...... / J.P. Warners, H. van Maaren