1. Total dual integrality of the linear complementarity problem;Annals of Operations Research;2018-06-14
2. The Linear Complementarity Problems with a Few Variables per Constraint;Mathematics of Operations Research;2015-10
3. Algorithms for the Satisfiability Problem;Handbook of Combinatorial Optimization;2013
4. Bibliography;Optimization Methods for Logical Inference;2011-09-30
5. On exact selection of minimally unsatisfiable subformulae;Annals of Mathematics and Artificial Intelligence;2004-12-31