By van Maaren H.   in Annals of Mathematics and Artificial Intelligence

ISSN:1012-2443|37|3|273-283

Springer Publishing Company ‎(2003)‎

Access to resources Favorite 18.445734

By van Maaren H.   in Information and Computation

ISSN:0890-5401|158|2|125-130

Academic Press‎(2000)‎

Access to resources Favorite 18.445734

Handbook of Satisfiability‎

By Biere A.;Heule M.;van Maaren H.  

ISBN:9781607503767

Ios Press‎(2009)‎

Access to resources Favorite 12.662666