Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(17)
Constraint Satisfaction and Optimization
(9)
Logic, programming, and type systems
(8)
AI-based Problem Solving and Planning
(5)
Logic, Reasoning, and Knowledge
(4)
Affiliations
Illinois Wesleyan University
University of Michigan–Ann Arbor