Vijay Durairaj

According to our database, Vijay Durairaj authored at least 7 papers between 2003 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Efficient Transistor-Level Symbolic Timing Simulation Using Cached Partial Circuit States.

Clayton B. McDonald, Hsinwei Chou, Vijay Durairaj, Pey-Chang Kent Lin

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

2006

Guiding CNF-SAT Search by Analyzing Constraint-Variable Dependencies and Clause Lengths.

Vijay Durairaj, Priyank Kalla

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

2005

Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies.

Vijay Durairaj, Priyank Kalla

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

2004

Guiding CNF-SAT search via efficient constraint partitioning.

Vijay Durairaj, Priyank Kalla

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

Dynamic analysis of constraint-variable dependencies to guide SAT diagnosis.

Vijay Durairaj, Priyank Kalla

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

Exploiting hypergraph partitioning for efficient Boolean satisfiability.

Vijay Durairaj, Priyank Kalla

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

2003

Integrating CNF and BDD based SAT solvers.

Sivaram Gopalakrishnan, Vijay Durairaj, Priyank Kalla

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003