%0 Conference Paper %1 conf/cade/MouraB10a %A de Moura, Leonardo Mendonça %A Bjørner, Nikolaj S. %B WING@ETAPS/IJCAR %D 2010 %E Voronkov, Andrei %E Kovács, Laura %E Bjørner, Nikolaj S. %I EasyChair %K dblp %P 1-11 %T Applications and Challenges in Satisfiability Modulo Theories. %U http://dblp.uni-trier.de/db/conf/cade/wing2010.html#MouraB10a %V 1

@inproceedings{conf/cade/MouraB10a, added-at = {2022-04-14T00:00:00.000+0200}, author = {de Moura, Leonardo Mendonça and Bjørner, Nikolaj S.}, biburl = {https://www.bibsonomy.org/bibtex/291440560264521320286874d3dda9c58/dblp}, booktitle = {WING@ETAPS/IJCAR}, crossref = {conf/cade/2010wing}, editor = {Voronkov, Andrei and Kovács, Laura and Bjørner, Nikolaj S.}, ee = {https://doi.org/10.29007/cl74}, interhash = {a74849b28eccfca79ca3fd0207ce0505}, intrahash = {91440560264521320286874d3dda9c58}, keywords = {dblp}, pages = {1-11}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:54:49.000+0200}, title = {Applications and Challenges in Satisfiability Modulo Theories.}, url = {http://dblp.uni-trier.de/db/conf/cade/wing2010.html#MouraB10a}, volume = 1, year = 2010 }