2393 search results - page 292 / 479 » Bounds-Consistent Local Search |
140
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
This work focuses on the synthesis of finite-state machines (FSMs) by observing its input/output behaviors. Evolutionary approaches that have been proposed to solve this problem do...
146
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we define a class of truth-value assignments, called bounded assignments, using a certain substitutional property. We show that every satisfiable Boolean ...
184
click to vote
EH
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we perform a comparative study of different heuristics used to design combinational logic circuits. The use of local search hybridized with a genetic algorithm and ...
125
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a general framework for planning the quasi-static motion of a three-limbed climbing robot in vertical natural terrain. The problem is to generate a sequence of...
190
click to vote
ICTAI
2003
IEEE
2003
IEEE
Partitioning of Temporal Planning Problems in Mixed Space Using the Theory of Extended Saddle Points
15 years 12 months ago
We study the partitioning of temporal planning problems formulated as mixed-integer nonlinear programming problems, develop methods to reduce the search space of partitioned subpr...