Hans Van Maaren
AuthID: R-00H-A4Z
1
TITLE: Handbook of Satisfiability
AUTHORS: Armin Biere; Marijn Heule; Hans van Maaren; Toby Walsh;
PUBLISHED: 2009, SOURCE: Handbook of Satisfiability, VOLUME: 185
AUTHORS: Armin Biere; Marijn Heule; Hans van Maaren; Toby Walsh;
PUBLISHED: 2009, SOURCE: Handbook of Satisfiability, VOLUME: 185
INDEXED IN: 
DBLP
DBLP