Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems (1994)

Cached

Download Links

by James M. Crawford , Andrew B. Baker
Venue:In Proceedings of the Twelfth National Conference on Artificial Intelligence
Citations:115 - 2 self

Documents Related by Co-Citation

742 A machine program for theorem proving – Martin Davis, George Logemann, Donald Loveland - 1962
683 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
576 Where the really hard problems are – Peter Cheeseman, Bob Kanefsky, William M. Taylor - 1991
202 Experimental Results on the Crossover Point in Satisfiability Problems – James M. Crawford, Larry D. Auton - 1993
360 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
521 Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search – Henry Kautz, Bart Selman - 1996
431 Planning as satisfiability – Henry Kautz, Bart Selman - 1992
216 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
283 and easy distributions of sat problems – Hard - 1992
270 Local Search Strategies for Satisfiability Testing – Bart Selman, Henry Kautz, Bram Cohen - 1995
79 Easy Problems are Sometimes Hard – Ian Gent, Toby Walsh - 1994
350 Hybrid Algorithms for the Constraint Satisfaction Problem – Patrick Prosser - 1993
66 Systematic and non-systematic search strategies – P Langley - 1992
93 Slack-based Heuristics for Constraint Satisfactions Scheduling – S F Smith, C Cheng - 1993
148 P.: Solving large-scale constraint satisfaction and scheduling problems using a heuristic repair method – S Minton, M Johnston, A Philips, Laird - 1990
80 A complexity analysis of space-bounded learning algorithms for the constraint satisfaction problem – Roberto J. Bayardo, Daniel P. Miranker - 1996
175 Performance Measurement and Analysis of Certain Search Algorithms – J Gaschnig - 1979
101 Directional Resolution: The Davis-Putnam Procedure, Revisited – Rina Dechter, Irina Rish - 1994