1667 search results - page 15 / 334 » Extended clause learning |
IJCAI
1993
13 years 9 months ago
1993
Many learning algorithms form concept descriptions composed of clauses, each of which covers some proportion of the positive training data and a small to zero proportion of the ne...
ICTAI
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we developed an Inductive Logic Programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning mo...
AAAI
2000
13 years 9 months ago
2000
Equivalency clauses (Xors or modulo 2 arithmetics) represent a common structure in the SAT-encoding of many hard real-world problems and constitute a major obstacle to DavisPutnam...
ICTAI
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper a new learning scheme for SAT is proposed. The originality of our approach arises from its ability to achieve clause learning even if no conflict occurs. This clear...
COLT
1998
Springer
13 years 12 months ago
1998
Springer