共 50 条
- [1] A simple approach to solving cooperative path-finding as propositional satisfiability works well Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8862 : 827 - 833
- [2] A Simple Approach to Solving Cooperative Path-Finding as Propositional Satisfiability Works Well PRICAI 2014: TRENDS IN ARTIFICIAL INTELLIGENCE, 2014, 8862 : 827 - 833
- [3] Mutex Reasoning in Cooperative Path Finding Modeled as Propositional Satisfiability 2013 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2013, : 4326 - 4331
- [5] A propositional satisfiability approach in mining compact rules DATA MINING III, 2002, 6 : 197 - 204
- [6] Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2011, 6807 : 76 - 87
- [7] From propositional satisfiability to satisfiability modulo theories THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, 2006, 4121 : 1 - 9
- [8] SATISFIABILITY PROBLEMS FOR PROPOSITIONAL CALCULI MATHEMATICAL SYSTEMS THEORY, 1979, 13 (01): : 45 - 53
- [9] Symbolic Techniques in Propositional Satisfiability Solving THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, 2009, 5584 : 2 - 3
- [10] Economic sanctions as the propositional satisfiability problem Policy Sciences, 2002, 35 : 1 - 15