Ph. D. Student,
Department of Electrical and Computer Engineering,
University of Utah, Salt lake city, UT 84112
durairaj
[at] ece.utah.eduEducation:
- M.E., University of Utah, 2004
- B.E., University of Madras, 2002
Research:
Working on "Efficient Variable Ordering Schemes for SAT" under the guidance of Dr. Priyank Kalla.
Publications:
- Guiding CNF-SAT Search by Analyzing Constraint-Variable Dependencies and Clause Lengths. Vijay Durairaj and Priyank Kalla. International Workshop on High-Level Design Validation and Test, HLDVT, Nov. 2006
- Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies. Vijay Durairaj and Priyank Kalla. Int'l. Conf. on Theory and Applications of Satisfiabiity Testing, SAT 2005 [©Springer-Verlag] [submitted] [published].
- Guiding CNF-SAT search via Efficient Constraint Partitioning . Vijay Durairaj and Priyank Kalla. International Conference on Computer-Aided Design, ICCAD, Nov. 2004. [SLIDES]
- Dynamic Analysis of Constraint-Variable Dependencies to Guide SAT Diagnosis . Vijay Durairaj and Priyank Kalla. International Workshop on High-Level Design Validation and Test, HLDVT, Nov. 2004.
- Exploiting Hypergraph Partitioning for Efficient Boolean Satisfiability . Vijay Durairaj and Priyank Kalla. International Workshop on High-Level Design Validation and Test, HLDVT, Nov. 2004.
- Integrating CNF and BDD Based SAT Solvers . Sivaram Gopalakrishnan, Vijay Durairaj and Priyank Kalla. In High-Level Design Validation and Test Workshop, HLDVT 2003.
Tools:
- HGPART - Hypergraph Bi-partitioning Based Variable Ordering [ COMING SOON ]
- ACCORD - ACtivity-CORrelation-ORDering [ COMING SOON ]
