Incremental algorithms for approximate compilation

Proceedings of the National Conference on Artificial Intelligence

Volumn 3, Issue , 2008, Pages 1495-1498

  Venturini, Alberto ^a   Provan, Gregory ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BIONICS; FUNCTIONS; INFERENCE ENGINES; PROBABILITY DENSITY FUNCTION; QUERY LANGUAGES;

APPROXIMATE ALGORITHMS; COMPILATION TECHNIQUES; EMPIRICAL EVIDENCES; INCREMENTAL ALGORITHMS; INFERENCE PROBLEMS; PRIME IMPLICANT; SPACE REDUCTIONS; WEIGHTING FUNCTIONS;

BOOLEAN FUNCTIONS;

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

References (13)

1. Bollig, B., and Wegener, I. 1996. Improving the variable ordering of OBDDs is NP-complete. IEEE Transactions on Computers 45(9):993-1002.
2. Brglez, E; Bryan, D.; and Kozminski, K. 1989. Combinational profiles of sequential benchmark circuits. In IEEE International Symposium on Circuits and Systems, volume 3, 1929-1934.
3. Bryant, R. 1992. Symbolic boolean manipulation with ordered binary-decision diagrams, volume 24. 293-318.
4. Cadoli, M.; Donini, F; Liberatore, P.; and Schaerf, M. 2002. Preprocessing of Intractable Problems. Information and Computation 176(2):89-120.
5. Chandra, A., and Markowsky, G. 1978. On the number of prime implicants. Discrete Mathematics 24:7-11.
6. Darwiche, A. 1998. Model-Based Diagnosis using Structured System Descriptions. Journal of Artificial Intelligence Research 8:165-222.
7. Darwiche, A. 2001. Decomposable negation normal form. Journal of the ACM (JACM) 48(4):608-647.
8. de Kleer, J. 1986. An assumption-based TMS. Artif Intell. 28(2): 127-162.
9. Eiter, T., and Gottlob, G. 1995. The complexity of logic-based abduction. Journal of the ACM (JACM) 42(l):3-42.
10. Ferrara, A.; Liberatore, P.; and Schaerf, M. 2007. Model Checking and Preprocessing. In Proc. AI*IA 2007: Artificial Intelligence and Human-Oriented Computing. Springer.
11. Provan, G., and Wang, J. 2007. Evaluating the adequacy of automated benchmark model generators for model-based diagnostic inference. In Proceedings of IJCAI-07.
12. Shiny, A., and Pujari, A. 2002. Computation of Prime Implicants using Matrix and Paths. Journal of Logic and Computation 8(2): 135-145.
13. Sieling, D. 2002. The nonapproximability of obdd minimization. Inf. Comput. 172(2): 103-138.