Lintao Zhang

Lintao Zhang

Microsoft Research - / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4386010
person_outline Lintao Zhang's MOST POPULAR ARTICLES
1-) Chaff: Engineering an efficient SAT solver Proceedings of the 38th annual Design Automation Conference, 530-535, 2001
2-) Efficient conflict driven learning in a boolean satisfiability solver IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE …, 2001
3-) Vigilante: End-to-end containment of internet worms Proceedings of the twentieth ACM symposium on Operating systems principles …, 2005
4-) The quest for efficient boolean satisfiability solvers Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
5-) Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications 2003 Design, Automation and Test in Europe Conference and Exhibition, 880-885, 2003