Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}