![Theoretical computer science / Mathematics / Mathematical logic / Logic in computer science / Boolean algebra / Electronic design automation / Formal methods / NP-complete problems / Solver / Propositional calculus / AMPL / Modulo operation Theoretical computer science / Mathematics / Mathematical logic / Logic in computer science / Boolean algebra / Electronic design automation / Formal methods / NP-complete problems / Solver / Propositional calculus / AMPL / Modulo operation](https://www.pdfsearch.io/img/57560de0d9d00d1d27f6faeff1ea3ac6.jpg) Date: 2008-05-19 09:02:24Theoretical computer science Mathematics Mathematical logic Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Solver Propositional calculus AMPL Modulo operation | | SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell 11th International Conference, SAT 2008Add to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 253,75 KBShare Document on Facebook
|