%0 Conference Paper %1 conf/sat/BiereFW23 %A Biere, Armin %A Froleyks, Nils %A Wang, Wenxi %B SAT %D 2023 %E Mahajan, Meena %E Slivovsky, Friedrich %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 3:1-3:12 %T CadiBack: Extracting Backbones with CaDiCaL. %U http://dblp.uni-trier.de/db/conf/sat/sat2023.html#BiereFW23 %V 271 %@ 978-3-95977-286-0

@inproceedings{conf/sat/BiereFW23, added-at = {2023-08-10T00:00:00.000+0200}, author = {Biere, Armin and Froleyks, Nils and Wang, Wenxi}, biburl = {https://www.bibsonomy.org/bibtex/2e8df1636fd977ca1278b2014f9c02e7a/dblp}, booktitle = {SAT}, crossref = {conf/sat/2023}, editor = {Mahajan, Meena and Slivovsky, Friedrich}, ee = {https://doi.org/10.4230/LIPIcs.SAT.2023.3}, interhash = {09ce3ae995ae2b7ec68fddd3d07b4c85}, intrahash = {e8df1636fd977ca1278b2014f9c02e7a}, isbn = {978-3-95977-286-0}, keywords = {dblp}, pages = {3:1-3:12}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T19:21:35.000+0200}, title = {CadiBack: Extracting Backbones with CaDiCaL.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2023.html#BiereFW23}, volume = 271, year = 2023 }