1252 search results - page 72 / 251 » Minimizing Learned Clauses |
154
click to vote
SAT
2009
Springer
15 years 10 months ago
2009
Springer
State-of-the-art solvers for Quantified Boolean Formulas (QBF) have employed many techniques from the field of Boolean Satisfiability (SAT) including the use of Conjunctive Norm...
124
click to vote
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
This contribution presents the concept and analyses the path of diffusion of an innovative publishing idea that originated in one speciality in physics and is now about to spread ...
139
Voted
CP
2004
Springer
15 years 9 months ago
2004
Springer
It is well known that the ratio of the number of clauses to the number of variables in a random k-SAT instance is highly correlated with the instance’s empirical hardness. We con...
168
click to vote
WEBDB
2010
Springer
15 years 9 months ago
2010
Springer
We present a robust method for gathering relational facts from the Web, based on matching generalized patterns which are automatically learned from seed facts for relations of int...
141
click to vote
LREC
2010
15 years 5 months ago
2010
This paper deals with the uses of the annotations of third person singular neuter pronouns in the DAD parallel and comparable corpora of Danish and Italian texts and spoken data. ...