Sign in
On the role of logical separability in knowledge compilation.
Junming Qiu
Wenqing Li
Liangda Fang
Quanlong Guan
Zhanhao Xiao
Zhao-Rong Lai
Qian Dong
Published in:
Artif. Intell. (2024)
Keyphrases
</>
knowledge compilation
product configuration
prime implicates
logical inference
quantified boolean formulae
constraint satisfaction problems
target language
model counting
expert systems
search space
management system
decision support
normal form
binary decision diagrams
horn formulas