189 search results - page 17 / 38 » Similarity-Guided Clause Generalization |
JCDL
2006
ACM
15 years 5 months ago
2006
ACM
Evaluation of digital libraries assesses their effectiveness, quality and overall impact. In this paper we present a novel, multi-level logging framework that will provide comple...
SIGCSE
2005
ACM
15 years 5 months ago
2005
ACM
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
102
click to vote
LPAR
2004
Springer
15 years 5 months ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
103
click to vote
SAT
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Many problems are naturally expressed using CNF clauses and boolean cardinality constraints. It is generally believed that solving such problems through pure CNF encoding...
105
click to vote
ECAL
2003
Springer
15 years 5 months ago
2003
Springer
I investigate the competition dynamics between two identical clones of digital organisms, for three sets of clones taken from different locations in the fitness landscape. When t...