Login / Signup
Negation-Limited Formulas.
Siyao Guo
Ilan Komargodski
Published in:
Electron. Colloquium Comput. Complex. (2015)
Keyphrases
</>
logic programming
horn clauses
real time
artificial intelligence
data mining
database systems
limited resources