![]() | ![]() |
2005 | ||
---|---|---|
3 | EE | 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 | EE | 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 | EE | Ateet Bhalla, Inês Lynce, José T. de Sousa, João P. Marques Silva: Heuristic Backtracking Algorithms for SAT. MTV 2003: 69-74 |
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] |