%0 Conference Paper %1 conf/vmcai/BjornerEK23 %A Bjørner, Nikolaj S. %A Eisenhofer, Clemens %A Kovács, Laura %B VMCAI %D 2023 %E Dragoi, Cezara %E Emmi, Michael %E Wang, Jingbo %I Springer %K dblp %P 91-105 %T Satisfiability Modulo Custom Theories in Z3. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2023.html#BjornerEK23 %V 13881 %@ 978-3-031-24950-1

@inproceedings{conf/vmcai/BjornerEK23, added-at = {2023-02-25T00:00:00.000+0100}, author = {Bjørner, Nikolaj S. and Eisenhofer, Clemens and Kovács, Laura}, biburl = {https://www.bibsonomy.org/bibtex/246220f0e807d4f4442936c09d96849c3/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2023}, editor = {Dragoi, Cezara and Emmi, Michael and Wang, Jingbo}, ee = {https://doi.org/10.1007/978-3-031-24950-1_5}, interhash = {3e87bb71c5ba2f64ed040046f891524a}, intrahash = {46220f0e807d4f4442936c09d96849c3}, isbn = {978-3-031-24950-1}, keywords = {dblp}, pages = {91-105}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T00:33:11.000+0200}, title = {Satisfiability Modulo Custom Theories in Z3.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2023.html#BjornerEK23}, volume = 13881, year = 2023 }