@inproceedings{conf/ijcar/HaderKIGK24,
  added-at = {2024-08-02T00:00:00.000+0200},
  author = {Hader, Thomas and Kaufmann, Daniela and Irfan, Ahmed and Graham-Lengrand, Stéphane and Kovács, Laura},
  biburl = {https://www.bibsonomy.org/bibtex/2e1a73238102244e6f06000eb29b385c8/dblp},
  booktitle = {IJCAR (1)},
  crossref = {conf/ijcar/2024-1},
  editor = {Benzmüller, Christoph and Heule, Marijn J. H. and Schmidt, Renate A.},
  ee = {https://doi.org/10.1007/978-3-031-63498-7_23},
  interhash = {aaf4bccacafe0692f8216893d8eadddd},
  intrahash = {e1a73238102244e6f06000eb29b385c8},
  isbn = {978-3-031-63498-7},
  keywords = {dblp},
  pages = {386-395},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2024-08-05T07:40:38.000+0200},
  title = {MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper).},
  url = {http://dblp.uni-trier.de/db/conf/ijcar/ijcar2024-1.html#HaderKIGK24},
  volume = 14739,
  year = 2024
}

{"_id":"D7FRG2ijSd62QkRKL","bibbaseid":"hader-kaufmann-irfan-grahamlengrand-kovcs-mcsatbasedfinitefieldreasoningintheyices2smtsolvershortpaper-2024","author_short":["Hader, T.","Kaufmann, D.","Irfan, A.","Graham-Lengrand, S.","Kovács, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2024-08-02T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Hader"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Kaufmann"],"firstnames":["Daniela"],"suffixes":[]},{"propositions":[],"lastnames":["Irfan"],"firstnames":["Ahmed"],"suffixes":[]},{"propositions":[],"lastnames":["Graham-Lengrand"],"firstnames":["Stéphane"],"suffixes":[]},{"propositions":[],"lastnames":["Kovács"],"firstnames":["Laura"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2e1a73238102244e6f06000eb29b385c8/dblp","booktitle":"IJCAR (1)","crossref":"conf/ijcar/2024-1","editor":[{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Heule"],"firstnames":["Marijn","J.","H."],"suffixes":[]},{"propositions":[],"lastnames":["Schmidt"],"firstnames":["Renate","A."],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-031-63498-7_23","interhash":"aaf4bccacafe0692f8216893d8eadddd","intrahash":"e1a73238102244e6f06000eb29b385c8","isbn":"978-3-031-63498-7","keywords":"dblp","pages":"386-395","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2024-08-05T07:40:38.000+0200","title":"MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper).","url":"http://dblp.uni-trier.de/db/conf/ijcar/ijcar2024-1.html#HaderKIGK24","volume":"14739","year":"2024","bibtex":"@inproceedings{conf/ijcar/HaderKIGK24,\n added-at = {2024-08-02T00:00:00.000+0200},\n author = {Hader, Thomas and Kaufmann, Daniela and Irfan, Ahmed and Graham-Lengrand, Stéphane and Kovács, Laura},\n biburl = {https://www.bibsonomy.org/bibtex/2e1a73238102244e6f06000eb29b385c8/dblp},\n booktitle = {IJCAR (1)},\n crossref = {conf/ijcar/2024-1},\n editor = {Benzmüller, Christoph and Heule, Marijn J. H. and Schmidt, Renate A.},\n ee = {https://doi.org/10.1007/978-3-031-63498-7_23},\n interhash = {aaf4bccacafe0692f8216893d8eadddd},\n intrahash = {e1a73238102244e6f06000eb29b385c8},\n isbn = {978-3-031-63498-7},\n keywords = {dblp},\n pages = {386-395},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2024-08-05T07:40:38.000+0200},\n title = {MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper).},\n url = {http://dblp.uni-trier.de/db/conf/ijcar/ijcar2024-1.html#HaderKIGK24},\n volume = 14739,\n year = 2024\n}\n\n","author_short":["Hader, T.","Kaufmann, D.","Irfan, A.","Graham-Lengrand, S.","Kovács, L."],"editor_short":["Benzmüller, C.","Heule, M. J. H.","Schmidt, R. A."],"key":"conf/ijcar/HaderKIGK24","id":"conf/ijcar/HaderKIGK24","bibbaseid":"hader-kaufmann-irfan-grahamlengrand-kovcs-mcsatbasedfinitefieldreasoningintheyices2smtsolvershortpaper-2024","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-031-63498-7_23","Paper":"http://dblp.uni-trier.de/db/conf/ijcar/ijcar2024-1.html#HaderKIGK24"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Thomas?items=1000","dataSources":["Wze2LBds9bM8uwxm8"],"keywords":["dblp"],"search_terms":["mcsat","based","finite","field","reasoning","yices2","smt","solver","short","paper","hader","kaufmann","irfan","graham-lengrand","kovács"],"title":"MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper).","year":2024}