- Referenced in 13460 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 565 articles
- An extensible SAT-solver. MiniSat is a minimalistic...
- Referenced in 10 articles
- plasp: A prototype for PDDL-based planning in...
- Referenced in 186 articles
- Fast planning through planning graph analysis. We introduce...
- Referenced in 102 articles
- Potassco, the Potsdam Answer Set Solving Collection, bundles...