1252 search results - page 43 / 251 » Minimizing Learned Clauses |
212
click to vote
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
Keyword search enables web users to easily access XML data without the need to learn a structured query language and to study possibly complex data schemas. Existing work has addr...
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
116
click to vote
SC
2003
ACM
15 years 7 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
107
click to vote
LREC
2008
15 years 3 months ago
2008
This paper presents a supervised method for the detection and extraction of Causal Relations from open domain text. First we give a brief outline of the definition of causation an...
130
click to vote
AAAI
2006
15 years 3 months ago
2006
Reasoning with both probabilistic and deterministic dependencies is important for many real-world problems, and in particular for the emerging field of statistical relational lear...