메뉴 건너뛰기




Volumn 185, Issue 1, 2009, Pages 483-504

Planning and SAT

(1)  Rintanen, Jussi a  

a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER AIDED ANALYSIS;

EID: 72949118667     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-58603-929-5-483     Document Type: Article
Times cited : (47)

References (46)
  • 1
    • 84947438108 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 6
    • 0034271027 scopus 로고    scopus 로고
    • 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
  • 8
    • 0036377318 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 11
    • 0037503164 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 17
    • 84957667493 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 25
    • 0038178319 scopus 로고    scopus 로고
    • 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
  • 31
    • 33749564515 scopus 로고    scopus 로고
    • 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
  • 34
    • 27444437544 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 40
    • 84944402340 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.