An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems.

Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe

Browse the full JELIA paper archive.