Login / Signup
-Complete Problems Using Knowledge Compilation.
Umut Oztok
Arthur Choi
Adnan Darwiche
Published in:
KR (2016)
Keyphrases
</>
knowledge compilation
logical inference
product configuration