The Cassowary linear arithmetic constraint solving algorithm
ACM Transactions on Computer-Human Interaction (TOCHI)
IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment
Annals of Mathematics and Artificial Intelligence
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Multiobjective heuristic state-space planning
Artificial Intelligence
Combining linear programming and satisfiability solving for resource planning
The Knowledge Engineering Review
Applying integer programming to AI planning
The Knowledge Engineering Review
IEEE Intelligent Systems
Processes and continuous change in a SAT-based planner
Artificial Intelligence
The SAT-based Approach to Separation Logic
Journal of Automated Reasoning
A Market-Based Adaptation for Resolving Competing Needs for Scarce Resources
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
HySAT: An efficient proof engine for bounded model checking of hybrid systems
Formal Methods in System Design
An approach to efficient planning with numerical fluents and multi-criteria plan quality
Artificial Intelligence
Continuous time in a SAT-based planner
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Deconstructing planning as satisfiability
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Optiplan: unifying IP-based and graph-based planning
Journal of Artificial Intelligence Research
Modelling mixed discrete-continuous domains for planning
Journal of Artificial Intelligence Research
Loosely coupled formulations for automated planning: an integer programming perspective
Journal of Artificial Intelligence Research
Planning with goal utility dependencies
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
SAT encodings of state-space reachability problems in numeric domains
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Planning with resources and concurrency a forward chaining approach
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Electronic Notes in Theoretical Computer Science (ENTCS)
Generalised integer programming based on logically defined relations
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Towards a notion of unsatisfiable and unrealizable cores for LTL
Science of Computer Programming
Hi-index | 0.00 |