Vlaeminck, Hanne

1 publications

JAIR 2012 An Approximative Inference Method for Solving ∃∀SO Satisfiability Problems Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe