Search results for: Cong Tian
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Automated Analysis > 246-265
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Theorem Proving and Decision Procedures > 90-105
Journal of Combinatorial Optimization > 2015 > 29 > 2 > 406-417
Journal of Combinatorial Optimization > 2015 > 29 > 1 > 308-329