GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Boolean Satisfiability

Boolean Satisfiability

1 faculty research Boolean Satisfiability on GradNova.

K
Karem A. Sakallah

Professor, EECS – Computer Science and Engineering; Professor (courtesy), EECS – Electrical and Computer Engineering

Department of Electrical and Computer Engineering

University of Michigan

Boolean Satisfiability
Computer-Aided Design of Electronic Systems
Discrete Optimization
Hardware and Software Verification
+5