%0 Conference Paper %1 conf/aaai/KyrillidisSVZ20 %A Kyrillidis, Anastasios %A Shrivastava, Anshumali %A Vardi, Moshe Y. %A Zhang, Zhiwei %B AAAI %D 2020 %I AAAI Press %K dblp %P 1552-1560 %T FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2020.html#KyrillidisSVZ20 %@ 978-1-57735-823-7

@inproceedings{conf/aaai/KyrillidisSVZ20, added-at = {2023-09-04T00:00:00.000+0200}, author = {Kyrillidis, Anastasios and Shrivastava, Anshumali and Vardi, Moshe Y. and Zhang, Zhiwei}, biburl = {https://www.bibsonomy.org/bibtex/20660648d7439b5acf370d505efb6fa9e/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2020}, ee = {https://doi.org/10.1609/aaai.v34i02.5515}, interhash = {b0a244d40a7892260b3908d243d0f8bd}, intrahash = {0660648d7439b5acf370d505efb6fa9e}, isbn = {978-1-57735-823-7}, keywords = {dblp}, pages = {1552-1560}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:05:48.000+0200}, title = {FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2020.html#KyrillidisSVZ20}, year = 2020 }