%0 Conference Paper %1 conf/jelia/VlaeminckWVDB10 %A Vlaeminck, Hanne %A Wittocx, Johan %A Vennekens, Joost %A Denecker, Marc %A Bruynooghe, Maurice %B JELIA %D 2010 %E Janhunen, Tomi %E Niemelä, Ilkka %I Springer %K %P 326-338 %T An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. %U http://dblp.uni-trier.de/db/conf/jelia/jelia2010.html#VlaeminckWVDB10 %V 6341 %@ 978-3-642-15674-8

@inproceedings{conf/jelia/VlaeminckWVDB10, added-at = {2023-12-12T18:07:59.000+0100}, author = {Vlaeminck, Hanne and Wittocx, Johan and Vennekens, Joost and Denecker, Marc and Bruynooghe, Maurice}, biburl = {https://www.bibsonomy.org/bibtex/2863408d5b9e1abcb78614dcf138adc89/admin}, booktitle = {JELIA}, crossref = {conf/jelia/2010}, editor = {Janhunen, Tomi and Niemelä, Ilkka}, ee = {https://doi.org/10.1007/978-3-642-15675-5_28}, interhash = {0ddea83e462d314449507b998edef129}, intrahash = {863408d5b9e1abcb78614dcf138adc89}, isbn = {978-3-642-15674-8}, keywords = {}, pages = {326-338}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:07:59.000+0100}, title = {An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2010.html#VlaeminckWVDB10}, volume = 6341, year = 2010 }