IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Hardware Accelerator for SAT Solving

2006 International Conference on Computer Engineering & Systems

Author(s): M. Safar ; M. Shalan ; M.W. El-Kharashi ; A. Salem
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2006
Conference Location: Cairo, Egypt
Conference Date: 5 November 2006
Page(s): 132 - 135
ISBN (CD): 1-4244-0272-7
ISBN (Paper): 1-4244-0271-9
DOI: 10.1109/ICCES.2006.320437
Regular:

The Boolean satisfiability problem (SAT) is a central problem in artificial intelligence, mathematical logic and computing theory with wide range of practical applications. Being an NP-complete... View More

Advertisement