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 14.004549

By van Maaren H.   in Information and Computation

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

Academic Press‎(2000)‎

Access to resources Favorite 14.004549

By Maaren H.   dent M.   in Water Science and Technology

ISSN:0273-1223|32|5|161-167

Elsevier‎(1995)‎

Access to resources Favorite 12.217567

Handbook of Satisfiability‎

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

ISBN:9781607503767

Ios Press‎(2009)‎

Access to resources Favorite 9.609921