%0 Conference Paper %1 conf/flops/Triska16 %A Triska, Markus %B FLOPS %D 2016 %E Kiselyov, Oleg %E King, Andy %I Springer %K dblp %P 45-61 %T The Boolean Constraint Solver of SWI-Prolog (System Description). %U http://dblp.uni-trier.de/db/conf/flops/flops2016.html#Triska16 %V 9613 %@ 978-3-319-29603-6

@inproceedings{conf/flops/Triska16, added-at = {2017-05-21T00:00:00.000+0200}, author = {Triska, Markus}, biburl = {https://www.bibsonomy.org/bibtex/204ba6bbbb30d8cdb2a3a72485dedf9a4/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2016}, editor = {Kiselyov, Oleg and King, Andy}, ee = {https://doi.org/10.1007/978-3-319-29604-3_4}, interhash = {7f345df1481d5c6d26e80d7374e3aa9c}, intrahash = {04ba6bbbb30d8cdb2a3a72485dedf9a4}, isbn = {978-3-319-29603-6}, keywords = {dblp}, pages = {45-61}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:11:26.000+0200}, title = {The Boolean Constraint Solver of SWI-Prolog (System Description).}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2016.html#Triska16}, volume = 9613, year = 2016 }