Hans Van Maaren
AuthID: R-00H-A4Z
1
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