Mapping many-valued CNF formulas to Boolean CNF formulas

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 2005, Pages 290-295

  Ansotegui C ^a   Manya F ^b  

^a School of Operations Research and Information Engineering   (United States)

^b ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; ENCODING (SYMBOLS); MAPPING; PROBLEM SOLVING;

BOOLEAN CNF FORMULAS; COMBINATORIAL PROBLEMS; PERFORMANCE IMPROVEMENTS;

BOOLEAN FUNCTIONS;

EID: 24644465658     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. C. Ansótegui, J. Larrubia, and F. Manyà. Boosting Chaff's performance by incorporating CSP heuristics. In Proceedings of CP-2003, Kinsale, Ireland, pages 96-107. Springer LNCS 2833, 2003.
2. B. Beckert, R. Hähnle, and F. Manyà. Transformations between signed and classical clause logic. In Proceedings of ISMVL'99, Freiburg, Germany, pages 248-255. IEEE Press, Los Alamitos, 1999.
3. R. Béjar, R. Hähnle, and F. Manyà. A modular reduction of regular logic to classical logic. In Proceedings of ISMVL-2001, Warsaw, Poland, pages 221-226. IEEE CS Press, Los Alamitos, 2001.
4. A. M. Frisch and T. J. Peugniez. Solving non-boolean satisfiability problems with stochastic local search. In Proceedings of IJCAI-2001, pages 282-288, 2001.
5. R. Hähnle. Advanced many-valued logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2. Kluwer, second edition, 2001.
6. F. Manyà. The 2-SAT problem in signed CNF formulas. Multiple-Valued Logic, 5(4):307-325, 2000.
7. M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. In 39th Design Automation Conference, 2001.
8. B. Smith and M. Dyer. Locating the phase transition in binary constraint satisfaction problems. Artificial Intelligence, 81:155-181, 1996.
9. T. Walsh. SAT v CSP. In Proceedings of CP-2000, Singapore, pages 441-456. Springer LNCS 1894, 2000.