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

	Trading Bitcoin and Online Time Series Prediction Muhammad J Amjad Operations Research Center DocID: 1xVYr - View Document
	Order Fulfillment in Online Retailing: What Goes Where by Ping Josephine Xu M.S. Operations Research DocID: 1xVON - View Document
	The NYU Administrative Data Research Facility (ADRF) The data revolution is transforming how executives manage operations and businesses deliver goods and services. Yet when it comes to communities and the government ag DocID: 1xTFQ - View Document
	V ORträge zum Operations Research Kolloquium des Instituts für Operations Research Zeit: Donnerstag, 16. April 2015, 17:30 Uhr DocID: 1vsb3 - View Document
	V ORträge zum Operations Research Kolloquium des Instituts für Operations Research Zeit: Donnerstag, 22. Juni 2017, 17:30 Uhr DocID: 1vomF - View Document