The LPSAT Engine & its Application to Resource Planning

The LPSAT Engine & its Application to Resource Planning (1999)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Steven A. Wolfman , Daniel S. Weld

Citations:

63 - 0 self

BibTeX

@MISC{Wolfman99thelpsat,
    author = {Steven A. Wolfman and Daniel S. Weld},
    title = {The LPSAT Engine & its Application to Resource Planning},
    year = {1999}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Compilation to boolean satisfiability has become a powerful paradigm for solving AI problems. However, domains...

Citations

852	Fast planning through planning graph analysis - Blum, Furst - 1997
463	Pushing the envelope: Planning, propositional logic, and stochastic search - KAUTZ, SELMAN - 1996
364	Constraint satisfaction in logic programming - Hentenryck - 1989
352	Simplification by cooperating decision procedures - Nelson, Oppen - 1979
294	O-plan: the open planning architecture - Currie, Tate - 1991
274	The CLP(R) Language and System - ar, Michaylow, et al. - 1992
269	Boosting combinatorial search through randomization - Gomes, Selman, et al. - 1998
224	B: Local search strategies for satisfiability testing - Selman, Kautz, et al.
186	Experimental results on the cross-over point in satisfiability problems - Crawford, Auton - 1993
182	Using CSP look-back techniques to solve real-world SAT instances - Bayardo, Schrag - 1997
182	Concurrent Constraint Programming Languages - Saraswat - 1989
159	Extending planning graphs to an ADL subset - Koehler, Nebel, et al. - 1997
138	Numerica: a modeling language for global optimization - Hentenryck, Michel, et al. - 1997
115	Blackbox: A new approach to the application of theorem proving to problem solving - Kautz, Selman - 1998
113	Automatic SAT-compilation of planning problems - Ernst, Millstein - 1997
106	Heuristics based on unit propagation for satisfiability problems - Li, Anbulagan - 1997
101	Finding hard instances of the satisfiability problem: A survey - Cook, Mitchell - 1997
96	Temporal planning with continuous change - PENBERTHY, WELD - 1994
86	Planning under resource constraints - Koehler - 1998
73	Ten challenges in propositional reasoning and search - Selman, Kautz, et al. - 1997
72	The Cassowary linear arithmetic constraint solving algorithm - Badros, Borning, et al. - 2001
64	Can AI planners solve practical problems - Wilkins - 1990
63	MAXPLAN: A new approach to probabilistic planning - Majercik, Littman - 1998
59	Y.: Solving linear arithmetic constraints for user interface applications - BORNING, MARRIOTT, et al. - 1997
58	State-space planning by integer optimization - Kautz, Walser - 1999
46	based on unit propagation for satisfiability problems - Heuristics - 1997
39	On the use of integer programming models in AI planning - Vossen, Ball, et al. - 1999
35	On integrating constraint propagation and linear programming for combinatorial optimization - Hooker, Ottosson, et al. - 1999
14	The PDDL Planning Domain Definition Language. The AIPS-98 Planning Competition Committee - McDermott - 1998
14	The LPSAT system and its applications to resource planning - Wolfman, Weld - 1999
10	Setting up large scale qualitative models - Falkenhainer, Forbus - 1988
10	Can ai planners solve practical problems? Computational Intelligence 6(4):232–246 - Wilkins - 1990
8	Linear programming - Karloff - 1991
6	Calif - Park - 1990
3	Linear Programming - Karlo - 1991
2	Finding hard instances of the satis�ability problem: A survey - Cook, Mitchell - 1997
1	On integrating constraint propagation and linear programming for combinatorial optimization - Thorsteinsson, Kim - 1999
1	a new approach to probabilistic planning - MAXPLAN - 1998
1	Drew McDermott. PDDL \| The Planning Domain De�nition Language. AIPS-98 Competition Committee, draft 1.6 edition - �McDermott - 1998
1	Greg Nelson and Derek C. Oppen. Simpli�cation by cooperating decision procedures - �Nelson, Oppen - 1979
1	Vijay A. Saraswat. Concurrent Constraint Programming Languages - �Saraswat - 1989
1	Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming - Hentenryck - 1989