%0 Conference Paper %1 conf/sat/FriedNS23 %A Fried, Dror %A Nadel, Alexander %A Shalmon, Yogev %B SAT %D 2023 %E Mahajan, Meena %E Slivovsky, Friedrich %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 9:1-9:18 %T AllSAT for Combinational Circuits. %U http://dblp.uni-trier.de/db/conf/sat/sat2023.html#FriedNS23 %V 271 %@ 978-3-95977-286-0

@inproceedings{conf/sat/FriedNS23, added-at = {2023-08-10T00:00:00.000+0200}, author = {Fried, Dror and Nadel, Alexander and Shalmon, Yogev}, biburl = {https://www.bibsonomy.org/bibtex/2549f9f57092220a9a87cba445a578e1d/dblp}, booktitle = {SAT}, crossref = {conf/sat/2023}, editor = {Mahajan, Meena and Slivovsky, Friedrich}, ee = {https://doi.org/10.4230/LIPIcs.SAT.2023.9}, interhash = {93e1bf3bbd5270a0e7633aba8e741590}, intrahash = {549f9f57092220a9a87cba445a578e1d}, isbn = {978-3-95977-286-0}, keywords = {dblp}, pages = {9:1-9:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T19:21:35.000+0200}, title = {AllSAT for Combinational Circuits.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2023.html#FriedNS23}, volume = 271, year = 2023 }