Joerg Hoffmann 1, 2AuthorPersonId : 932988 Employer institution: Saarland University [Saarbrücken]
Bart Selman 3Author
Computer Science [cs] / Artificial Intelligence [cs.AI]
CNRS | INRIA | UNIV-LORRAINE | INRIA2 | LORIA | LORIA-AIS