Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Mathematical logic / Computational complexity theory / Electronic design automation / Formal methods / NP-complete problems / Constraint programming / Satisfiability modulo theories / Horn clause / Clause / Logic programming


Abduction by Non-Experts Nikolaj Bjørner2 , Dejan Jovanovi´c1 , Tancr`ede Lepoint1 , Philipp R¨ ummer3 , and 1 Martin Sch¨af 1
Add to Reading List

Document Date: 2018-04-25 11:34:43

Open Document

File Size: 806,00 KB

Share Result on Facebook