4488 search results - page 115 / 898 » Focusing Search by Using Problem Solving Experience |
128
click to vote
ESWA
2010
15 years 1 months ago
2010
Most previous research into the job-shop scheduling problem has concentrated on finding a single optimal solution (e.g., makespan), even though the actual requirement of most prod...
111
Voted
SAT
2004
Springer
15 years 8 months ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
105
click to vote
CISIS
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper proposes a fast AND/OR tree search algorithm using a multiple-paths concurrent search method. Conventional heuristic AND/OR tree search algorithms expand nodes in only ...
113
click to vote
ESWA
2007
15 years 3 months ago
2007
Examination timetabling problems are often solved by a two-phase procedure combining a sequential construction heuristic with a metaheuristic improvement search. There can be many...
101
Voted
ICDIM
2007
IEEE
15 years 9 months ago
2007
IEEE
Several problems from engineering, chemistry, medicine, etc. can be formulated as a system of equations. Finding a solution for such a system sometimes requires high computational...