%0 Conference Paper %1 conf/aaai/ThuillierSP24 %A Thuillier, Kerian %A Siegel, Anne %A Paulevé, Loïc %B AAAI %D 2024 %E Wooldridge, Michael J. %E Dy, Jennifer G. %E Natarajan, Sriraam %I AAAI Press %K dblp %P 8146-8153 %T CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#ThuillierSP24

@inproceedings{conf/aaai/ThuillierSP24, added-at = {2024-04-02T00:00:00.000+0200}, author = {Thuillier, Kerian and Siegel, Anne and Paulevé, Loïc}, biburl = {https://www.bibsonomy.org/bibtex/25b028b3ad96b6d26c4b8ab9a5e04f06e/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.28654}, interhash = {288544f372013421dfff12dd5d6d9d78}, intrahash = {5b028b3ad96b6d26c4b8ab9a5e04f06e}, keywords = {dblp}, pages = {8146-8153}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:10:47.000+0200}, title = {CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#ThuillierSP24}, year = 2024 }