1667 search results - page 60 / 334 » Extended clause learning |
122
click to vote
AUSAI
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we describe a stochastic local search (SLS) procedure for finding satisfying models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on th...
132
Voted
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
207
Voted
DELOS
2007
15 years 4 months ago
2007
Abstract. DelosDLMS is a prototype of a next-generation Digital Library (DL) management system. It is realized by combining various specialized DL functionalities provided by partn...
101
click to vote
EACL
1989
ACL Anthology
15 years 3 months ago
1989
ACL Anthology
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...
139
click to vote
ISI
2008
Springer
15 years 2 months ago
2008
Springer
Pervasive information systems give an overview of what digital environments should look like in the future. From a data-centric point of view, traditional databases have to be used...