Processes and Continuous Change in a SAT-based Planner 1 Ji-Ae Shin Courant Institute, New York University, New York, NY 10012, USA

First Page		Document Content
Date: 2005-02-14 11:22:18 Mathematics Automated planning and scheduling Programming paradigms Operations research Planning Domain Definition Language Logic in computer science Boolean satisfiability problem Constraint satisfaction Linear programming Theoretical computer science Applied mathematics Constraint programming		Processes and Continuous Change in a SAT-based Planner 1 Ji-Ae Shin Courant Institute, New York University, New York, NY 10012, USA Add to Reading List Source URL: www.cs.nyu.edu Download Document from Source Website File Size: 495,55 KB Share Document on Facebook

	Automated Planning and Scheduling ΕΟ Constellations’ Operations with Ant Colony Optimization Evridiki Vasileia Ntagiou Surrey Space Centre, University of Surrey Abstract DocID: 1xToV - View Document
	27th International Conference on Automated Planning and Scheduling June 19-23, 2017, Pittsburgh, USA KEPS 2017 DocID: 1uq7E - View Document
	International Conference on Automated Planning and Scheduling (ICAPSTask and Motion Policy Synthesis as Liveness Games Yue Wang and Neil T. Dantam and Swarat Chaudhuri and Lydia E. Kavraki Department of Computer DocID: 1rgIf - View Document
	From FOND to Probabilistic Planning: Guiding search for quality policies Alberto Camacho† , Christian Muise∗ , Akshay Ganeshen† , Sheila A. McIlraith† † Department of Computer Science, University of Toronto Dep DocID: 1rboJ - View Document
	Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling Goal-Based Action Priors David Abel, D. Ellis Hershkowitz, Gabriel Barth-Maron, Stephen Brawner, Kevin O’Farrell, James Mac DocID: 1ra2S - View Document