Ateet Bhalla

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva
Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. J. Autom. Reason. 35 (1-3) (2005)
Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva
Heuristic Backtracking Algorithms for SAT. MTV (2003)
Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva
Heuristic-Based Backtracking for Propositional Satisfiability. EPIA (2003)