Spike: Intelligent scheduling of hubble space telescope observations (1994)

Cached

Download Links

by Mark D. Johnston , Glenn E. Miller
Venue:Intelligent Scheduling
Citations:34 - 5 self

Active Bibliography

368 Algorithms for Constraint Satisfaction Problems: A Survey – Vipin Kumar - 1992
30 Knowledge-based production management: Approaches, results and prospects – Stephen F. Smith - 1992
51 Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem – Norman M. Sadeh, Mark S. Fox - 1996
26 Analyzing a Heuristic Strategy for Constraint-Satisfaction and Scheduling – Mark D. Johnston, Steven Minton - 1994
9 A Schema for Constraint Relaxation with Instantiations for Partial Constraint Satisfaction and Schedule Optimization – John Christopher Beck - 1994
33 Reactive Scheduling Systems – Stephen F. Smith - 1994
397 Minimizing Conflicts: A Heuristic Repair Method for Constraint-Satisfaction and Scheduling Problems – Steven Minton, Andy Philips, Mark D. Johnston, Philip Laird - 1993
33 Minimizing con icts: a heuristic repair methodfor constraint satisfaction andscheduling problems – Steven Minton, Mark D. Johnston, Andrew B. Philips, Philip Laird - 1992
125 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
5 A Method of Program Understanding using Constraint Satisfaction for Software Reverse Engineering – Steven Woods - 1996
4 Hard, flexible and dynamic constraint satisfaction – Ian Miguel, Qiang Shen - 1999
Chapter 4 Constraint Programming – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Francesca Rossi, Peter Van Beek, Toby Walsh
12 ITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications – Mark H. Burstein, Douglas R. Smith - 1996
31 Transformational Approach to Transportation Scheduling – Douglas R. Smith, Eduardo A. Parra - 1993
72 Exploiting the deep structure of constraint problems – Colin Williams, Tad Hogg - 1994
Representation and Practical Handling of Flexibility in Constrained Problems – GĂ©rard Bel - 1992
22 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
23 A Generic Framework for Constraint-Directed Search and Scheduling – J. Christopher Beck, Mark S. Fox - 1998
19 Dynamic Flexible Constraint Satisfaction and its Application to AI Planning – Ian Miguel - 2001