Cooperating Techniques for Solving Nonlinear Arithmetic in the cvc5 SMT Solver (System Description)
Authors: Gereon Kremer, Andrew Reynolds, Clark Barrett and Cesare Tinelli
Paper Information
| Title: | Cooperating Techniques for Solving Nonlinear Arithmetic in the cvc5 SMT Solver (System Description) |
| Authors: | Gereon Kremer, Andrew Reynolds, Clark Barrett and Cesare Tinelli |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | satisfiability modulo theories, nonlinear real arithmetic, abstraction refinement, cylindrical algebraic coverings |
| Pages: | 11 |
| Talk: | Aug 08 10:00 (Session 94D: Invited Talk and Cooperating Reasoners) |
| Paper: |  |