![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 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](https://www.pdfsearch.io/img/30681f77f1c857415c446197b25f47da.jpg) Date: 2018-04-25 11:34:43Theoretical 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 1Add to Reading ListSource URL: csl.sri.comDownload Document from Source Website File Size: 806,00 KBShare Document on Facebook
|