Back to Results
First PageMeta Content
Theoretical computer science / Logic / Logic in computer science / Mathematics / Electronic design automation / Formal methods / NP-complete problems / Boolean algebra / Boolean satisfiability problem / Uninterpreted function / Satisfiability / Solver


SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo
Add to Reading List

Document Date: 2017-08-06 07:51:38


Open Document

File Size: 148,96 KB

Share Result on Facebook