220 search results - page 33 / 44 » Using Difference Reduction for Generic Proof Search |
160
click to vote
SODA
2010
ACM
16 years 1 months ago
2010
ACM
The hypergraph matching problem is to find a largest collection of disjoint hyperedges in a hypergraph. This is a well-studied problem in combinatorial optimization and graph theo...
262
click to vote
CRV
2011
IEEE
14 years 4 months ago
2011
IEEE
— Algorithmic problem reduction is a fundamental approach to problem solving in many fields, including robotics. To solve a problem using this scheme, we must reduce the problem...
153
click to vote
EMO
2001
Springer
15 years 8 months ago
2001
Springer
This paper studies the influence of what are recognized as key issues in evolutionary multi-objective optimization: archiving (to keep track of the current non-dominated solutions...
145
click to vote
ERCIMDL
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we describe the design and implementation of the VDL Generator, a tool to simplify and automatise the Digital Library development process. In particular, we discuss h...
129
click to vote
ITSSA
2006
15 years 4 months ago
2006
Abstract. A growing amounts of information are currently being generated and stored in the World Wide Web (WWW), in particular, researchers in any field can find a lot of publicati...