13376 search results - page 423 / 2676 » Problem Solving with |
150
click to vote
ISMVL
2007
IEEE
15 years 11 months ago
2007
IEEE
We define a resolution-style rule for solving the Max-SAT problem of Signed CNF formulas (Signed Max-SAT) and prove that our rule provides a complete calculus for that problem. F...
136
click to vote
SARA
2007
Springer
15 years 11 months ago
2007
Springer
One approach to optimal planning is to first start with a sub- optimal solution as a seed plan, and then iteratively search for shorter plans. This approach inevitably leads to an...
137
click to vote
IJES
2006
15 years 4 months ago
2006
: We present efficient solutions for the non-contiguous linear placement of data-paths for reconfigurable fabrics. A strip-based architecture is assumed for the reconfigurable fabr...
131
click to vote
SIGCSE
2004
ACM
15 years 10 months ago
2004
ACM
Multiagent systems is an attractive problem solving approach that is becoming ever more feasible and popular in today’s world. It combines artificial intelligence (AI) and distr...
133
click to vote
SIAMJO
2008
15 years 4 months ago
2008
This paper describes a Parallel Space Decomposition (PSD) technique for the Mesh Adaptive Direct Search (MADS) algorithm. MADS extends Generalized Pattern Search for constrained n...