%0 Conference Paper %1 conf/fossacs/CzernerEK24 %A Czerner, Philipp %A Esparza, Javier %A Krasotin, Valentin %B FoSSaCS (2) %D 2024 %E Kobayashi, Naoki %E Worrell, James %I Springer %K dblp %P 116-136 %T A Resolution-Based Interactive Proof System for UNSAT. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2024-2.html#CzernerEK24 %V 14575 %@ 978-3-031-57231-9

@inproceedings{conf/fossacs/CzernerEK24, added-at = {2024-05-17T00:00:00.000+0200}, author = {Czerner, Philipp and Esparza, Javier and Krasotin, Valentin}, biburl = {https://www.bibsonomy.org/bibtex/2cb08e3eac76191a79bff80944c98a7ba/dblp}, booktitle = {FoSSaCS (2)}, crossref = {conf/fossacs/2024-2}, editor = {Kobayashi, Naoki and Worrell, James}, ee = {https://doi.org/10.1007/978-3-031-57231-9_6}, interhash = {1a06c2247a7d49288a3775814f6517c4}, intrahash = {cb08e3eac76191a79bff80944c98a7ba}, isbn = {978-3-031-57231-9}, keywords = {dblp}, pages = {116-136}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-20T07:25:49.000+0200}, title = {A Resolution-Based Interactive Proof System for UNSAT.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2024-2.html#CzernerEK24}, volume = 14575, year = 2024 }