%0 Conference Paper %1 conf/innovations/FilmusHRSV24 %A Filmus, Yuval %A Hirsch, Edward A. %A Riazanov, Artur %A Smal, Alexander %A Vinyals, Marc %B ITCS %D 2024 %E Guruswami, Venkatesan %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 48:1-48:20 %T Proving Unsatisfiability with Hitting Formulas. %U http://dblp.uni-trier.de/db/conf/innovations/innovations2024.html#FilmusHRSV24 %V 287 %@ 978-3-95977-309-6

@inproceedings{conf/innovations/FilmusHRSV24, added-at = {2024-01-24T00:00:00.000+0100}, author = {Filmus, Yuval and Hirsch, Edward A. and Riazanov, Artur and Smal, Alexander and Vinyals, Marc}, biburl = {https://www.bibsonomy.org/bibtex/23da6d61a08b4ef86761ed19b11345f1c/dblp}, booktitle = {ITCS}, crossref = {conf/innovations/2024}, editor = {Guruswami, Venkatesan}, ee = {https://doi.org/10.4230/LIPIcs.ITCS.2024.48}, interhash = {e280cc9f6dd46beb963b36f4fe68d709}, intrahash = {3da6d61a08b4ef86761ed19b11345f1c}, isbn = {978-3-95977-309-6}, keywords = {dblp}, pages = {48:1-48:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:27:01.000+0200}, title = {Proving Unsatisfiability with Hitting Formulas.}, url = {http://dblp.uni-trier.de/db/conf/innovations/innovations2024.html#FilmusHRSV24}, volume = 287, year = 2024 }