By Van Maaren A.   in Fuel and Energy Abstracts

ISSN:0140-6701|37|1|50-50

Elsevier‎(1996)‎

Access to resources Favorite 18.29668

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 3.403367

By van Maaren H.   in Information and Computation

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

Academic Press‎(2000)‎

Access to resources Favorite 3.403367

Handbook of Satisfiability‎

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

ISBN:9781607503767

Ios Press‎(2009)‎

Access to resources Favorite 2.5525253