Sciweavers

655 search results - page 7 / 131
» Evolving Heuristics for Planning
Sort
View
IJCNN
2007
IEEE
15 years 6 months ago
Evolving a Neural Net-Based Decision and Search Heuristic for DPLL SAT Solvers
— Solvers for the Boolean satisfiability problem are an important base technology for many applications. The most efficient SAT solvers for industrial applications are based on...
Raihan H. Kibria
GECCO
2008
Springer
15 years 24 days ago
Evolving heuristics with genetic programming
Mohamed Bahy Bader-El-Den, Riccardo Poli
AAAI
2006
15 years 1 months ago
Planning with First-Order Temporally Extended Goals using Heuristic Search
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. The problem of planning with TEGs is of renewed interest becau...
Jorge A. Baier, Sheila A. McIlraith
AIPS
2006
15 years 1 months ago
Planning with Temporally Extended Goals Using Heuristic Search
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. Current planners for TEGs prune the search space during planni...
Jorge A. Baier, Sheila A. McIlraith