GradNova

GradNova

Find faculty who want students like you. Stop guessing — match with the right advisor.

Product

Find Faculty Universities Research Topics Sign In Claim Faculty Profile

Resources

FAQ Blog Contact Us

Legal

Privacy Policy Terms of Service

© 2026 GradNova. All rights reserved.

GradNova is not affiliated with any university. Match scores are AI-generated estimates.

Boolean Satisfiability Research Faculty | GradNova

/

/

Boolean Satisfiability

Boolean Satisfiability

1 faculty research Boolean Satisfiability on GradNova.

S

Sakallah, Karem A.

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

Computer Science and Engineering

University of Michigan

And Hardware and Software Verification

Boolean Satisfiability

Computer-Aided Design of Electronic Systems

Discrete Optimization