A reconfigurable, pipelined, conflict directed jumping search SAT solver

Authors

Mona Safar, Ain Shams University
M. Watheq El-Kharashi, Ain Shams University
Mohamed Shalan, American University in CairoFollow
Ashraf Salem, Mentor Graphics Corporation

Files

Department

Computer Science & Engineering Department

Abstract

[abstract not available]

Publication Date

5-31-2011

Document Type

Book Chapter

Book Title

Proceedings -Design, Automation and Test in Europe, DATE

ISBN

SCOPUS_ID:79957552628

Publisher

IEEE

City

Grenoble, France

First Page

1243

Last Page

1248

Keywords

Boolean Satisfiability, Conflict-directed jumping

Recommended Citation

APA Citation

Safar, M. El-Kharashi, M. Shalan, M. & Salem, A. (2011).A reconfigurable, pipelined, conflict directed jumping search SAT solver. IEEE. , 1243-1248
https://fount.aucegypt.edu/faculty_book_chapters/714

MLA Citation

Safar, Mona, et al. A reconfigurable, pipelined, conflict directed jumping search SAT solver. IEEE, 2011.pp. 1243-1248
https://fount.aucegypt.edu/faculty_book_chapters/714