%0 Conference Paper %1 conf/sat/ZhouWY23 %A Zhou, Neng-Fa %A Wang, Ruiwei %A Yap, Roland H. C. %B SAT %D 2023 %E Mahajan, Meena %E Slivovsky, Friedrich %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 30:1-30:9 %T A Comparison of SAT Encodings for Acyclicity of Directed Graphs. %U http://dblp.uni-trier.de/db/conf/sat/sat2023.html#ZhouWY23 %V 271 %@ 978-3-95977-286-0

@inproceedings{conf/sat/ZhouWY23, added-at = {2023-08-10T00:00:00.000+0200}, author = {Zhou, Neng-Fa and Wang, Ruiwei and Yap, Roland H. C.}, biburl = {https://www.bibsonomy.org/bibtex/26228a6f82731fa732cc3dd42d2e37705/dblp}, booktitle = {SAT}, crossref = {conf/sat/2023}, editor = {Mahajan, Meena and Slivovsky, Friedrich}, ee = {https://doi.org/10.4230/LIPIcs.SAT.2023.30}, interhash = {b85be878fd18cd961f0c5dc9e848ed7b}, intrahash = {6228a6f82731fa732cc3dd42d2e37705}, isbn = {978-3-95977-286-0}, keywords = {dblp}, pages = {30:1-30:9}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T19:21:35.000+0200}, title = {A Comparison of SAT Encodings for Acyclicity of Directed Graphs.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2023.html#ZhouWY23}, volume = 271, year = 2023 }