Search results for: Cong Tian
Theoretical Computer Science > 2016 > 654 > C > 11-25
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
Theoretical Computer Science > 2016 > 609 > P3 > 639-657
Journal of Combinatorial Optimization > 2015 > 29 > 2 > 406-417
Journal of Combinatorial Optimization > 2015 > 29 > 1 > 308-329
Electronic Notes in Theoretical Computer Science > 2014 > 309 > Complete > 51-62
Electronic Notes in Theoretical Computer Science > 2014 > 309 > Complete > 63-74
Theoretical Computer Science > 2011 > 412 > 18 > 1729-1744