|
 | A. ANBULAGAN | | Position: | NICTA Researcher | | Email: |
| | Url: | http://rsise.anu.edu.au/~anbu | | Phone: | 6267 6218 | | Building: | NICTA London Circuit | | Room: | NICTA London Circuit | | Department: | CSL, NICTA LC | | Staff category: | Adjunct | Research Interests:Search heuristics; Lookahead; Diagnosis, Planning, Scheduling and Timetabling; Algorithms for Satisfiability (SAT) Testing; Hybrid SAT solver. |
|
|
