ML Anthology
Authors
Search
About
Vlaeminck, Hanne
1 publications
JAIR
2012
An Approximative Inference Method for Solving ∃∀SO Satisfiability Problems
Hanne Vlaeminck
,
Joost Vennekens
,
Marc Denecker
,
Maurice Bruynooghe