Ateet Bhalla

According to our database, Ateet Bhalla authored at least 3 papers between 2003 and 2005.

Collaborative distances:

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

2005

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability.

Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva

J. Autom. Reason., 2005

2003

Heuristic Backtracking Algorithms for SAT.

Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva

Proceedings of the Fourth International Workshop on Microprocessor Test and Verification, 2003

Heuristic-Based Backtracking for Propositional Satisfiability.

Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva

Proceedings of the Progress in Artificial Intelligence, 2003