Partial Weighted MaxSAT for Optimal Planning
暂无分享,去创建一个
[1] Bart Selman,et al. Encoding Plans in Propositional Logic , 1996, KR.
[2] Carmel Domshlak,et al. Landmarks, Critical Paths and Abstractions: What's the Difference Anyway? , 2009, ICAPS.
[3] Henry Kautz,et al. Blackbox: Unifying sat-based and graph-based planning , 1999, International Joint Conference on Artificial Intelligence.
[4] Avrim Blum,et al. Fast Planning Through Planning Graph Analysis , 1995, IJCAI.
[5] Henry A. Kautz. Deconstructing Planning as Satisfiability , 2006, AAAI.
[6] Karem A. Sakallah,et al. GRASP—a new search algorithm for satisfiability , 1996, ICCAD 1996.
[7] Jinbo Huang,et al. The Effect of Restarts on the Efficiency of Clause Learning , 2007, IJCAI.
[8] Charles Gretton,et al. CO-PLAN : Combining SAT-Based Planning with Forward-Search , 2008 .
[9] Josep Argelich,et al. The First and Second Max-SAT Evaluations , 2008, J. Satisf. Boolean Model. Comput..
[10] Enrico Giunchiglia,et al. Planning as Satisfiability with Preferences , 2007, AAAI.
[11] Bart Selman,et al. Unifying SAT-based and Graph-based Planning , 1999, IJCAI.
[12] Jussi Rintanen,et al. Satisfiability Planning with Constraints on the Number of Actions , 2005, ICAPS.
[13] Adnan Darwiche,et al. RSat 2.0: SAT Solver Description , 2006 .
[14] Stephen F. Smith,et al. Using Decision Procedures Efficiently for Optimization , 2007, ICAPS.
[15] Jussi Rintanen. Planning Graphs and Propositional Clause-Learning , 2008, KR.
[16] Sharad Malik,et al. On Solving the Partial MAX-SAT Problem , 2006, SAT.
[17] Jörg Hoffmann,et al. SAT Encodings of State-Space Reachability Problems in Numeric Domains , 2007, IJCAI.
[18] Richard Anthony Russell,et al. Handling Goal Utility Dependencies in a Satisfiability Framework , 2010, ICAPS.
[19] Tom Bylander,et al. The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..
[20] Jussi Rintanen. Evaluation Strategies for Planning as Satisfiability , 2004, ECAI.
[21] Joao Marques-Silva,et al. GRASP-A new search algorithm for satisfiability , 1996, Proceedings of International Conference on Computer Aided Design.
[22] Ji-Ae Shin,et al. Processes and continuous change in a SAT-based planner , 2005, Artif. Intell..
[23] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[24] Daniel S. Weld,et al. The LPSAT Engine & Its Application to Resource Planning , 1999, IJCAI.
[25] Hector Geffner,et al. Soft Goals Can Be Compiled Away , 2009, J. Artif. Intell. Res..
[26] Armin Biere,et al. Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings , 2006, SAT.
[27] Abdul Sattar,et al. SAT-Based Parallel Planning Using a Split Representation of Actions , 2009, ICAPS.