Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
View source
View history
Discussion
English
Log in

IPC-4

From MaRDI portal
(Redirected from Software:16027)
Jump to:navigation, search



swMATH3495MaRDI QIDQ16027FDOQ16027


Author name not available (Why is that?)

Official website: http://www.tzi.de/~edelkamp/ipc-4/



Described by source

  • Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4


Cited In (14)

  • Title not available (Why is that?)
  • Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
  • Engineering a conformant probabilistic planner
  • Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
  • An approach to temporal planning and scheduling in domains with predictable exogenous events
  • A constraint programming formulation for planning: From plan scheduling to plan generation
  • SymChaff
  • PDDL
  • Graphplan
  • TorchLight
  • SAPA
  • VHPOP
  • Yochan
  • An approach to efficient planning with numerical fluents and multi-criteria plan quality


This page was built for software: IPC-4

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=IPC-4&oldid=56919882"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 24 March 2026, at 18:47. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki