%0 Conference Paper %1 conf/IEEEares/PhanM15 %A Phan, Quoc-Sang %A Malacaria, Pasquale %B ARES %D 2015 %I IEEE Computer Society %K dblp %P 100-109 %T All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks. %U http://dblp.uni-trier.de/db/conf/IEEEares/ares2015.html#PhanM15 %@ 978-1-4673-6590-1

@inproceedings{conf/IEEEares/PhanM15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Phan, Quoc-Sang and Malacaria, Pasquale}, biburl = {https://www.bibsonomy.org/bibtex/22978e942aaeb33d7385f84dabdf1b038/dblp}, booktitle = {ARES}, crossref = {conf/IEEEares/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/ARES.2015.14}, interhash = {174c4439478c46dfac0ebd7aa7b44dda}, intrahash = {2978e942aaeb33d7385f84dabdf1b038}, isbn = {978-1-4673-6590-1}, keywords = {dblp}, pages = {100-109}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:36:51.000+0200}, title = {All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks.}, url = {http://dblp.uni-trier.de/db/conf/IEEEares/ares2015.html#PhanM15}, year = 2015 }