%0 Conference Paper %1 conf/aaai/CarbonnelleSB0D24 %A Carbonnelle, Pierre %A Schenner, Gottfried %A Bruynooghe, Maurice %A Bogaerts, Bart %A Denecker, Marc %B AAAI %D 2024 %E Wooldridge, Michael J. %E Dy, Jennifer G. %E Natarajan, Sriraam %I AAAI Press %K dblp %P 7961-7968 %T Using Symmetries to Lift Satisfiability Checking. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#CarbonnelleSB0D24

@inproceedings{conf/aaai/CarbonnelleSB0D24, added-at = {2024-04-02T00:00:00.000+0200}, author = {Carbonnelle, Pierre and Schenner, Gottfried and Bruynooghe, Maurice and Bogaerts, Bart and Denecker, Marc}, biburl = {https://www.bibsonomy.org/bibtex/2094fd3052911c2c27370bca250cb2c37/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2024}, editor = {Wooldridge, Michael J. and Dy, Jennifer G. and Natarajan, Sriraam}, ee = {https://doi.org/10.1609/aaai.v38i8.28633}, interhash = {24d685c951be141b802816f6ba76521d}, intrahash = {094fd3052911c2c27370bca250cb2c37}, keywords = {dblp}, pages = {7961-7968}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:10:47.000+0200}, title = {Using Symmetries to Lift Satisfiability Checking.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#CarbonnelleSB0D24}, year = 2024 }