408 search results - page 52 / 82 » A lookahead strategy for solving large planning problems |
C3S2E
2010
ACM
14 years 10 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
OL
2010
14 years 8 months ago
2010
One of the main goals in transportation planning is to achieve solutions for two classical problems, the traffic assignment and toll pricing problems. The traffic assignment proble...
94
Voted
ATMOS
2010
14 years 8 months ago
2010
Train Routing is a problem that arises in the early phase of the passenger railway planning process, usually several months before operating the trains. The main goal is to assign...
104
click to vote
EDBT
2012
ACM
13 years 2 days ago
2012
ACM
Increased availability of large repositories of chemical compounds has created new challenges and opportunities for the application of data-mining and indexing techniques to probl...
DEXA
2004
Springer
15 years 3 months ago
2004
Springer
The efficacy of expert systems often depends on the accuracy and completeness of the problem specification negotiated with the user. Therefore, efficient user interfaces are needed...