220 search results - page 6 / 44 » Using Difference Reduction for Generic Proof Search |
91
Voted
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
Our previous work has introduced a hyperheuristic (HH) approach based on Genetic Programming (GP). There, GP employs usergiven languages where domain-specific local heuristics ar...
122
click to vote
SIGIR
2002
ACM
15 years 24 days ago
2002
ACM
A novel method for simultaneous keyphrase extraction and generic text summarization is proposed by modeling text documents as weighted undirected and weighted bipartite graphs. Sp...
93
Voted
CORR
2002
Springer
15 years 29 days ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
105
Voted
CSR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this survey we compare the similarities, differences and the complexities of two very different approaches to solve a general constraint satisfaction probblems (CSP). ...
216
Voted
CADE
2011
Springer
14 years 1 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...