%0 Generic %1 lynch2023complete %A Lynch, Christopher %A Miner, Stephen %D 2023 %K SMT completeness trigger %T Complete Trigger Selection in Satisfiability modulo first-order Theories

@misc{lynch2023complete, added-at = {2024-04-30T10:55:35.000+0200}, archiveprefix = {arXiv}, author = {Lynch, Christopher and Miner, Stephen}, biburl = {https://www.bibsonomy.org/bibtex/26dc1ed62d78f33ed04bc5f242438e9db/rge}, description = {Complete Trigger Selection in Satisfiability modulo first-order Theories}, eprint = {2306.09436}, interhash = {e19d15b1fba773a477d33496e0915fe4}, intrahash = {6dc1ed62d78f33ed04bc5f242438e9db}, keywords = {SMT completeness trigger}, primaryclass = {cs.LO}, timestamp = {2024-04-30T10:55:35.000+0200}, title = {Complete Trigger Selection in Satisfiability modulo first-order Theories}, year = 2023 }