Back to Results
First PageMeta Content
NP-complete problems / Logic in computer science / Boolean algebra / Electronic design automation / Formal methods / Satisfiability Modulo Theories / Boolean satisfiability problem / Solver / Boolean data type / Theoretical computer science / Applied mathematics / Mathematics


Wedding Boolean Solvers with Superposition: a Societal Reform Simon Cruanes École polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France https://who.rocq.inria.fr/Simon.Cruanes/
Add to Reading List

Document Date: 2015-03-03 04:50:17

Open Document

File Size: 460,07 KB

Share Result on Facebook

City

Paris / /

Country

France / /

IndustryTerm

huge search space / /

Person

Simon Cruanes Boolean / Superposition / /

Position

King / /

SocialTag