Logical circuit filtering

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 2611-2618

  Shahaf, Dafna ^a   Amir, Eyal ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPACT REPRESENTATION; DETERMINISTIC DOMAINS; FILTERING ALGORITHM; ORDERS OF MAGNITUDE; REASONING ALGORITHMS; SEQUENCE LENGTHS; SEQUENCE OF ACTIONS; STOCHASTIC DOMAINS;

ALGORITHMS; ARTIFICIAL INTELLIGENCE;

LOGIC CIRCUITS;

EID: 84860587903     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. E. Amir and S. Russell. Logical filtering. In IJCAI '03. MK, 2003.
2. P. Bertoli, A. Cimatti, and M. Roveri. Heuristic search + symbolic model checking = efficient conformant planning. In IJCAI '01. MK, 2001.
3. A. Biere, A. Cimatti, E.M. Clarke, M. Fujita, and Y. Zhu. Symbolic model checking using SAT procedures instead of BDDs. In DAC'99, 1999.
4. R. E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 1992.
5. A. Cimatti and M. Roveri. Conformant planning via symbolic model checking. JAIR, 2000.
6. E.M. Clarke, A. Biere, R. Raimi, and Y. Zhu. Bounded model checking using satisfiability solving. Formal Methods in System Design, 2001.
7. M. K. Ganai, P. Ashar, A. Gupta, L. Zhang, and S. Malik. Combining strengths of circuit-based and cnf-based algorithms for a high-performance sat solver. In DAC, 2002.
8. P. Liberatore. The complexity of the language A. ETAI, 1997.
9. F. Lin and R. Reiter. How to progress a database. AIJ, 1997.
10. J. Lind-Nielsen. Buddy - a binary decision diagram package. Technical report, Institute of Information Technology, Technical University of Denmark, 1999.
11. R.P.A. Petrick and F. Bacchus. Extending the knowledge-based approach to planning with incomplete information and sensing. In ICAPS-04. AAAI Press, 2004.
12. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation. Academic Press, 1991.
13. C. Thiffault, F. Bacchus, and T. Walsh. Solving non-clausal formulas with dpll search. In Principles and Practice of Constraint Programming, 2004.
14. M.A. Winslett. Updating Logical Databases. Cambridge U. Press, 1990.