Theory and Applications of Satisfiability

Description
Group members
Assistant professor
PhD student