Login / Signup
Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving.
Jieying Chen
Yue Ma
Dirk Walther
Published in:
Description Logics (2018)
Keyphrases
</>
sat solving
sat solvers
domain specific
boolean satisfiability
knowledge base
knowledge representation
data structure
boolean optimization
search space
sat problem
information retrieval
search tree
clause learning