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. Proceedings -Design, Automation and Test in Europe, DATE (pp. 1243-1248). IEEE.

MLA Citation

Safar, Mona, et al. "A reconfigurable, pipelined, conflict directed jumping search SAT solver." Proceedings -Design, Automation and Test in Europe, DATE, IEEE, 2011. pp. 1243-1248