Theory and Applications of Satisfiability

Description
Group members
Assistant Professor