1252 search results - page 17 / 251 » Minimizing Learned Clauses |
69
Voted
SAT
2009
Springer
15 years 4 months ago
2009
Springer
The concept of backdoor variables has been introduced as a structural property of combinatorial problems that provides insight into the surprising ability of modern satisfiability...
ILP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
62
Voted
ICML
2008
IEEE
15 years 10 months ago
2008
IEEE
ECTEL
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We introduce an ontology-based semantic modelling framework that addresses subject domain modelling, instruction modelling, and interoperability aspects in the developmen...
ICML
2009
IEEE
15 years 10 months ago
2009
IEEE
