Ateet Bhalla

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

Coauthor Index

1	Inês Lynce	[1] [2] [3]
2	João P. Marques Silva (João Marques-Silva)	[1] [2] [3]
3	José T. de Sousa	[1] [2] [3]