Vijay Durairaj (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2		Vijay Durairaj, Priyank Kalla: Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies. SAT 2005: 415-422
1		Vijay Durairaj, Priyank Kalla: Guiding CNF-SAT search via efficient constraint partitioning. ICCAD 2004: 498-501

Selection of 2 from 2 records - Vijay Durairaj has 1 coauthors