%0 Conference Paper %1 conf/tacas/FengHBITWPB24 %A Feng, Nick %A Hu, Alan J. %A Bayless, Sam %A Iqbal, Syed M. %A Trentin, Patrick %A Whalen, Mike %A Pike, Lee %A Backes, John %B TACAS (1) %D 2024 %E Finkbeiner, Bernd %E Kovács, Laura %I Springer %K dblp %P 3-23 %T DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2024-1.html#FengHBITWPB24 %V 14570 %@ 978-3-031-57246-3

@inproceedings{conf/tacas/FengHBITWPB24, added-at = {2024-06-08T00:00:00.000+0200}, author = {Feng, Nick and Hu, Alan J. and Bayless, Sam and Iqbal, Syed M. and Trentin, Patrick and Whalen, Mike and Pike, Lee and Backes, John}, biburl = {https://www.bibsonomy.org/bibtex/22f908773e01e51cafb9c83a5bfa98bd9/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2024-1}, editor = {Finkbeiner, Bernd and Kovács, Laura}, ee = {https://doi.org/10.1007/978-3-031-57246-3_1}, interhash = {da798f368263bb86079de5fbe9e01ae3}, intrahash = {2f908773e01e51cafb9c83a5bfa98bd9}, isbn = {978-3-031-57246-3}, keywords = {dblp}, pages = {3-23}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:42:14.000+0200}, title = {DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2024-1.html#FengHBITWPB24}, volume = 14570, year = 2024 }