Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Mathematics / Logic in computer science / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Boolean satisfiability problem / Satisfiability modulo theories / Boolean algebra / Local consistency


Solving Nonlinear Integer Arithmetic with MCSAT? Dejan JovanoviĀ“c SRI International Abstract. We present a new method for solving nonlinear integer arithmetic constraints. The method relies on the MCSat approach to sol
Add to Reading List

Document Date: 2016-11-28 15:21:09


Open Document

File Size: 833,01 KB

Share Result on Facebook
UPDATE