Logic

Research Frontiers in Satisfiability and Model Counting Problems

Studies computational complexity of determining satisfiability and counting satisfying assignments in propositional and first-order logic.

All Logic PhD categories