Travelled to:1 × Canada
1 × USA
Collaborated with:∅ D.K.Pradhan
Talks about:preprocess (1) constraint (1) variabl (1) resolut (1) instanc (1) increas (1) solver (1) reason (1) nogood (1) elimin (1)
Person: Sathiamoorthy Subbarayan
DBLP: Subbarayan:Sathiamoorthy
Contributed to:
2008
2005Wrote 2 papers:
- PADL-2008-Subbarayan #constraints #performance #reasoning #theorem proving
- Efficient Reasoning for Nogoods in Constraint Solvers with BDDs (SS), pp. 53–67.
- SAT-J-2004-SubbarayanP05 #named #preprocessor #satisfiability
- NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances (SS, DKP), pp. 276–291.