%0 Journal Article %1 journals/tocl/CaiLZ23 %A Cai, Shaowei %A Li, Bohan %A Zhang, Xindi %D 2023 %J ACM Trans. Comput. Log. %K dblp %N 4 %P 32:1-32:26 %T Local Search For Satisfiability Modulo Integer Arithmetic Theories. %U http://dblp.uni-trier.de/db/journals/tocl/tocl24.html#CaiLZ23 %V 24

@article{journals/tocl/CaiLZ23, added-at = {2023-12-10T00:00:00.000+0100}, author = {Cai, Shaowei and Li, Bohan and Zhang, Xindi}, biburl = {https://www.bibsonomy.org/bibtex/22bd49cd23c9d89fe6ded871bf1948e7f/dblp}, ee = {https://doi.org/10.1145/3597495}, interhash = {873f4a95723862884121045087ef199f}, intrahash = {2bd49cd23c9d89fe6ded871bf1948e7f}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, month = {October}, number = 4, pages = {32:1-32:26}, timestamp = {2024-04-08T12:38:30.000+0200}, title = {Local Search For Satisfiability Modulo Integer Arithmetic Theories.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl24.html#CaiLZ23}, volume = 24, year = 2023 }