-
1
-
-
84947438108
-
Partial-order reduction in symbolic state space exploration
-
Computer Aided Verification, 9th International Conference, CAV'97, Haifa, Israel, June 22-25,1997, Proceedings. Springer-Verlag
-
R. Alur, R. K. Brayton, T. A. Henzinger, S. Qadeer, and S. K. Rajamani. Partial-order reduction in symbolic state space exploration. In Computer Aided Verification, 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings, volume 1254 of Lecture Notes in Computer Science, pages 340-351. Springer-Verlag, 1997.
-
(1997)
Lecture Notes in Computer Science, Pages
, vol.1254
, pp. 340-351
-
-
Alur, R.1
Brayton, R.K.2
Henzinger, T.A.3
Qadeer, S.4
Rajamani, S.K.5
-
2
-
-
84944319371
-
Symbolic model checking without BDDs
-
W. R. Cleaveland, editor, Tools and Algorithms for the Construction and Analysis of Systems, Proceedings of 5th International Conference, TACAS'99, Springer-Verlag
-
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In W. R. Cleaveland, editor, Tools and Algorithms for the Construction and Analysis of Systems, Proceedings of 5th International Conference, TACAS'99, volume 1579 of Lecture Notes in Computer Science, pages 193-207. Springer-Verlag, 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1579
, pp. 193-207
-
-
Biere, A.1
Cimatti, A.2
Clarke, E.M.3
Zhu, Y.4
-
3
-
-
0031074857
-
Fast planning through planning graph analysis
-
A. L. Blum and M. L. Furst. Fast planning through planning graph analysis. Artificial Intelligence, 90(1-2):281-300, 1997.
-
(1997)
Artificial Intelligence
, vol.90
, Issue.1-2
, pp. 281-300
-
-
Blum, A.L.1
Furst, M.L.2
-
5
-
-
13444256696
-
Conformant planning via heuristic forward search: A new approach
-
S. Zilberstein, J. Koehler, and S. Koenig, editors, ICAPS 2004. AAAI Press
-
R. I. Brafman and J. Hoffmann. Conformant planning via heuristic forward search: A new approach. In S. Zilberstein, J. Koehler, and S. Koenig, editors, ICAPS 2004. Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling, pages 355-364. AAAI Press, 2004.
-
(2004)
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling
, pp. 355-364
-
-
Brafman, R.I.1
Hoffmann, J.2
-
6
-
-
0034271027
-
Computational complexity of planning and approximate planning in the presence of incompleteness
-
C. Baral, V. Kreinovich, and R. Trejo. Computational complexity of planning and approximate planning in the presence of incompleteness. Artificial Intelligence, 122(1):241-267, 2000.
-
(2000)
Artificial Intelligence
, vol.122
, Issue.1
, pp. 241-267
-
-
Baral, C.1
Kreinovich, V.2
Trejo, R.3
-
7
-
-
84890298891
-
Satisfiability planning with constraints on the number of actions
-
S. Biundo, K. Myers, and K. Rajan, editors, ICAPS 2005. AAAI Press
-
M. Büttner and J. Rintanen. Satisfiability planning with constraints on the number of actions. In S. Biundo, K. Myers, and K. Rajan, editors, ICAPS 2005. Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling, pages 292-299. AAAI Press, 2005.
-
(2005)
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling
, pp. 292-299
-
-
Büttner, M.1
Rintanen, J.2
-
8
-
-
0036377318
-
On reachability, relevance, and resolution in the planning as satisfiability approach
-
R. I. Brafman. On reachability, relevance, and resolution in the planning as satisfiability approach. Journal of Artificial Intelligence Research, 14:1-28, 2001.
-
(2001)
Journal of Artificial Intelligence Research
, vol.14
, pp. 1-28
-
-
Brafman, R.I.1
-
9
-
-
0028498153
-
The computational complexity of propositional STRIPS planning
-
T. Bylander. The computational complexity of propositional STRIPS planning. Artificial Intelligence, 69(1-2):165-204, 1994.
-
(1994)
Artificial Intelligence
, vol.69
, Issue.1-2
, pp. 165-204
-
-
Bylander, T.1
-
10
-
-
0041648567
-
Symmetry-breaking predicates for search problems
-
L. C. Aiello, J. Doyle, and S. Shapiro, editors, Morgan Kaufmann Publishers
-
J. Crawford, M. Ginsberg, E. Luks, and A. Roy. Symmetry-breaking predicates for search problems. In L. C. Aiello, J. Doyle, and S. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR '96), pages 148-159. Morgan Kaufmann Publishers, 1996.
-
(1996)
Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR '96)
, pp. 148-159
-
-
Crawford, J.1
Ginsberg, M.2
Luks, E.3
Roy, A.4
-
11
-
-
0037503164
-
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
-
C. Castellini, E. Giunchiglia, and A. Tacchella. SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artificial Intelligence, 147(1-2):85-117, 2003.
-
(2003)
Artificial Intelligence
, vol.147
, Issue.1-2
, pp. 85-117
-
-
Castellini, C.1
Giunchiglia, E.2
Tacchella, A.3
-
12
-
-
0035501435
-
Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP
-
M. B. Do and S. Kambhampati. Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP. Artificial Intelligence, 132(2):151-182, 2001.
-
(2001)
Artificial Intelligence
, vol.132
, Issue.2
, pp. 151-182
-
-
Do, M.B.1
Kambhampati, S.2
-
13
-
-
84898684063
-
Encoding planning problems in nonmonotonic logic programs
-
S. Steel and R. Alami, editors, Recent Advances in AI Planning. Fourth European Conference on Planning (ECP'97), Springer-Verlag
-
Y. Dimopoulos, B. Nebel, and J. Koehler. Encoding planning problems in nonmonotonic logic programs. In S. Steel and R. Alami, editors, Recent Advances in AI Planning. Fourth European Conference on Planning (ECP'97), number 1348 in Lecture Notes in Computer Science, pages 169-181. Springer-Verlag, 1997.
-
(1997)
Lecture Notes in Computer Science, Pages
, vol.1348
, pp. 169-181
-
-
Dimopoulos, Y.1
Nebel, B.2
Koehler, J.3
-
14
-
-
84880695707
-
Automatic SAT-compilation of planning problems
-
M. Pollack, editor, Morgan Kaufmann Publishers
-
M. Ernst, T. Millstein, and D. S. Weld. Automatic SAT-compilation of planning problems. In M. Pollack, editor, Proceedings of the 15th International Joint Conference on Artificial Intelligence, pages 1169- 1176. Morgan Kaufmann Publishers, 1997.
-
(1997)
Proceedings of the 15th International Joint Conference on Artificial Intelligence
, pp. 1169-1176
-
-
Ernst, M.1
Millstein, T.2
Weld, D.S.3
-
16
-
-
36349021952
-
Diagnosis of discrete-event systems using satisfiability algorithms
-
A. Grastien, Anbulagan, J. Rintanen, and E. Kelareva. Diagnosis of discrete-event systems using satisfiability algorithms. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07), pages 305-310. AAAI Press, 2007.
-
(2007)
Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07), AAAI Press
, pp. 305-310
-
-
Anbulagan, A.G.1
Rintanen, J.2
Kelareva, E.3
-
17
-
-
84957667493
-
Using partial orders to improve automatic verification methods
-
E. M. Clarke, editor, Proceedings of the 2nd International Conference on Computer-Aided Verific ation (CAV '90), Rutgers, New Jersey, Springer-Verlag
-
P. Godefroid. Using partial orders to improve automatic verification methods. In E. M. Clarke, editor, Proceedings of the 2nd International Conference on Computer-Aided Verific ation (CAV '90), Rutgers, New Jersey, 1990, number 531 in Lecture Notes in Computer Science, pages 176-185. Springer-Verlag, 1991.
-
(1990)
Lecture Notes in Computer Science
, vol.531
, pp. 176-185
-
-
Godefroid, P.1
-
19
-
-
84943278573
-
Some results on the complexity of planning with incomplete information
-
S. Biundo and M. Fox, editors, Recent Advances in AI Planning. Fifth European Conference on Planning (ECP'99), Springer-Verlag
-
P. Haslum and P. Jonsson. Some results on the complexity of planning with incomplete information. In S. Biundo and M. Fox, editors, Recent Advances in AI Planning. Fifth European Conference on Planning (ECP'99), number 1809 in Lecture Notes in Artificial Intelligence, pages 308-318. Springer-Verlag, 2000.
-
(2000)
Lecture Notes in Artificial Intelligence, Pages
, vol.1809
, pp. 308-318
-
-
Haslum, P.1
Jonsson, P.2
-
21
-
-
0001793083
-
Encoding plans in propositional logic
-
L. C. Aiello, J. Doyle, and S. Shapiro, editors, Morgan Kaufmann Publishers
-
H. Kautz, D. McAllester, and B. Selman. Encoding plans in propositional logic. In L. C. Aiello, J. Doyle, and S. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR '96), pages 374-385. Morgan Kaufmann Publishers, 1996.
-
(1996)
Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR '96)
, pp. 374-385
-
-
Kautz, H.1
McAllester, D.2
Selman, B.3
-
23
-
-
0030352389
-
Pushing the envelope: Planning, propositional logic, and stochastic search
-
AAAI Press, August
-
H. Kautz and B. Selman. Pushing the envelope: Planning, propositional logic, and stochastic search. In Proceedings of the 13th National Conference on Artificial Intelligence and the 8th Innovative Applications of Artificial Intelligence Conference, pages 1194-1201. AAAI Press, August 1996.
-
(1996)
Proceedings of the 13th National Conference on Artificial Intelligence and the 8th Innovative Applications of Artificial Intelligence Conference
, pp. 1194-1201
-
-
Kautz, H.1
Selman, B.2
-
25
-
-
0038178319
-
Contingent planning under uncertainty via stochastic satisfiability
-
S. M. Majercik and M. L. Littman. Contingent planning under uncertainty via stochastic satisfiability. Artificial Intelligence, 147(1- 2):119-162, 2003.
-
(2003)
Artificial Intelligence
, vol.147
, Issue.1-2
, pp. 119-162
-
-
Majercik, S.M.1
Littman, M.L.2
-
27
-
-
0027087881
-
Calculating resettability and reset sequences
-
C. Pixley and G. Beihl. Calculating resettability and reset sequences. In Computer-Aided Design, 1991. ICCAD-91. Digest of Technical Papers., 1991 IEEE International Conference, pages 376-379, 1991.
-
Computer-Aided Design, 1991. ICCAD-91. Digest of Technical Papers., 1991 IEEE International Conference
, vol.1991
, pp. 376-379
-
-
Pixley, C.1
Beihl, G.2
-
28
-
-
84890258086
-
Pruning conformant plans by counting models on compiled d-DNNF representations
-
S. Biundo, K. Myers, and K. Rajan, editors, ICAPS 2005. AAAI Press
-
H. Palacios, B. Bonet, A. Darwiche, and H. Geffner. Pruning conformant plans by counting models on compiled d-DNNF representations. In S. Biundo, K. Myers, and K. Rajan, editors, ICAPS 2005. Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling, pages 141-150. AAAI Press, 2005.
-
(2005)
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling
, pp. 141-150
-
-
Palacios, H.1
Bonet, B.2
Darwiche, A.3
Geffner, H.4
-
31
-
-
33749564515
-
Planning as satisfiability: Parallel plans and algorithms for plan search
-
J. Rintanen, K. Heljanko, and I. Niemelä. Planning as satisfiability: Parallel plans and algorithms for plan search. Artificial Intelligence, 170(12-13):1031-1080, 2006.
-
(2006)
Artificial Intelligence
, vol.170
, Issue.12-13
, pp. 1031-1080
-
-
Rintanen, J.1
Heljanko, K.2
Niemelä, I.3
-
32
-
-
0002906544
-
A planning algorithm not based on directional search
-
A. G. Cohn L. K. Schubert, and S. C. Shapiro, editors, Morgan Kaufmann Publishers, June
-
J. Rintanen. A planning algorithm not based on directional search. In A. G. Cohn, L. K. Schubert, and S. C. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98), pages 617-624. Morgan Kaufmann Publishers, June 1998.
-
(1998)
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98)
, pp. 617-624
-
-
Rintanen, J.1
-
34
-
-
27444437544
-
Symmetry reduction for SAT representations of transition systems
-
E. Giunchiglia, N. Muscettola, and D. Nau, editors, AAAI Press
-
J. Rintanen. Symmetry reduction for SAT representations of transition systems. In E. Giunchiglia, N. Muscettola, and D. Nau, editors, Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling, pages 32-40. AAAI Press, 2003.
-
(2003)
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling
, pp. 32-40
-
-
Rintanen, J.1
-
36
-
-
84923212653
-
Regression for classical and nondeterministic planning
-
M. Ghallab, C. D. Spyropoulos, and N. Fakotakis, editors, ECAI 2008. IOS Press
-
J. Rintanen. Regression for classical and nondeterministic planning. In M. Ghallab, C. D. Spyropoulos, and N. Fakotakis, editors, ECAI 2008. Proceedings of the 18th European Conference on Artificial Intelligence, pages 568-571. IOS Press, 2008.
-
(2008)
Proceedings of the 18th European Conference on Artificial Intelligence
, pp. 568-571
-
-
Rintanen, J.1
-
39
-
-
58349121852
-
Using decision procedures efficiently for optimization
-
M. Boddy M. Fox, and S. Thíebaux, editors, ICAPS 2007.
-
M. Streeter and S. F. Smith. Using decision procedures efficiently for optimization. In M. Boddy, M. Fox, and S. Thíebaux, editors, ICAPS 2007. Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, pages 312-319, 2007.
-
(2007)
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling
, pp. 312-319
-
-
Streeter, M.1
Smith, S.F.2
-
40
-
-
84944402340
-
Tuning SAT checkers for bounded model checking
-
E. A. Emerson and A. P. Sistla, editors, Computer Aided Verification, 12th International Conference CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings, Springer-Verlag
-
O. Strichman. Tuning SAT checkers for bounded model checking. In E. A. Emerson and A. P. Sistla, editors, Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings, volume 1855 of Lecture Notes in Computer Science, pages 480-494. Springer-Verlag, 2000.
-
(2000)
Lecture Notes in Computer Science
, vol.1855
, pp. 480-494
-
-
Strichman, O.1
-
41
-
-
84947269280
-
Pruning techniques for the SAT-based bounded model checking problem
-
T. Margaria and T. F. Melham, editors, Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, Springer-Verlag
-
O. Strichman. Pruning techniques for the SAT-based bounded model checking problem. In T. Margaria and T. F. Melham, editors, Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, volume 2144 of Lec ture Notes in Computer Science, pages 58-70. Springer-Verlag, 2001.
-
(2001)
Lecture Notes in Computer Science
, vol.2144
, pp. 58-70
-
-
Strichman, O.1
-
42
-
-
85099426632
-
Polynomial-length planning spans the polynomial hierarchy
-
Logics in Artificial Intelligence, European Conference, JELIA 2002, Springer-Verlag
-
H. Turner. Polynomial-length planning spans the polynomial hierarchy. In Logics in Artificial Intelligence, European Conference, JELIA 2002, number 2424 in Lecture Notes in Computer Science, pages 111- 124. Springer-Verlag, 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2424
, pp. 111-124
-
-
Turner, H.1
-
43
-
-
0003047591
-
Stubborn sets for reduced state space generation
-
G. Rozenberg, editor, Advances in Petri Nets 1990. 10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, Springer-Verlag
-
A. Valmari. Stubborn sets for reduced state space generation. In G. Rozenberg, editor, Advances in Petri Nets 1990. 10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, number 483 in Lecture Notes in Computer Science, pages 491-515. Springer-Verlag, 1991.
-
(1991)
Lecture Notes in Computer Science
, vol.483
, pp. 491-515
-
-
Valmari, A.1
-
45
-
-
84880664608
-
On the use of integer programming models in AI planning
-
T. Dean, editor, Morgan Kaufmann Publishers
-
T. Vossen, M. Ball, A. Lotem, and D. Nau. On the use of integer programming models in AI planning. In T. Dean, editor, Proceedings of the 16th International Joint Conference on Artificial Intelligence, pages 304-309. Morgan Kaufmann Publishers, 1999.
-
(1999)
Proceedings of the 16th International Joint Conference on Artificial Intelligence
, pp. 304-309
-
-
Vossen, T.1
Ball, M.2
Lotem, A.3
Nau, D.4
|