%0 Conference Paper %1 conf/sat/AndersBR24 %A Anders, Markus %A Brenner, Sofia %A Rattan, Gaurav %B SAT %D 2024 %E Chakraborty, Supratik %E Jiang, Jie-Hong Roland %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 4:1-4:23 %T Satsuma: Structure-Based Symmetry Breaking in SAT. %U http://dblp.uni-trier.de/db/conf/sat/sat2024.html#AndersBR24 %V 305 %@ 978-3-95977-334-8

@inproceedings{conf/sat/AndersBR24, added-at = {2024-10-06T00:00:00.000+0200}, author = {Anders, Markus and Brenner, Sofia and Rattan, Gaurav}, biburl = {https://www.bibsonomy.org/bibtex/23c61dfd17df5efc0e59384b227b7196b/dblp}, booktitle = {SAT}, crossref = {conf/sat/2024}, editor = {Chakraborty, Supratik and Jiang, Jie-Hong Roland}, ee = {https://doi.org/10.4230/LIPIcs.SAT.2024.4}, interhash = {31076258f8a819ac85cdbc7c8ee618a4}, intrahash = {3c61dfd17df5efc0e59384b227b7196b}, isbn = {978-3-95977-334-8}, keywords = {dblp}, pages = {4:1-4:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-10-07T09:00:22.000+0200}, title = {Satsuma: Structure-Based Symmetry Breaking in SAT.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2024.html#AndersBR24}, volume = 305, year = 2024 }