Hans Van Maaren
AuthID: R-00H-A4Z
1
TITLE: Handbook of Satisfiability - Second Edition
AUTHORS: Armin Biere; Marijn Heule; Hans van Maaren; Toby Walsh;
PUBLISHED: 2021, VOLUME: 336
AUTHORS: Armin Biere; Marijn Heule; Hans van Maaren; Toby Walsh;
PUBLISHED: 2021, VOLUME: 336
INDEXED IN: 
DBLP
DBLP2
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