Hans Van Maaren
AuthID: R-00H-A4Z
1
TÃTULO: Handbook of Satisfiability - Second Edition
AUTORES: Armin Biere; Marijn Heule; Hans van Maaren; Toby Walsh;
PUBLICAÇÃO: 2021, VOLUME: 336
AUTORES: Armin Biere; Marijn Heule; Hans van Maaren; Toby Walsh;
PUBLICAÇÃO: 2021, VOLUME: 336
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Handbook of Satisfiability
AUTORES: Armin Biere; Marijn Heule; Hans van Maaren; Toby Walsh;
PUBLICAÇÃO: 2009, FONTE: Handbook of Satisfiability, VOLUME: 185
AUTORES: Armin Biere; Marijn Heule; Hans van Maaren; Toby Walsh;
PUBLICAÇÃO: 2009, FONTE: Handbook of Satisfiability, VOLUME: 185
INDEXADO EM: DBLP
DBLP