Browse by Fields of Research (ANZSRC 2020)

Duong, Thach-Thao ORCID: https://orcid.org/0000-0003-2294-3619 and Pham, Duc-Nghia and Sattar, Abdul (2013) Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution. In: 26th Australasian Joint Conference on Artificial Intelligence (AI 2013), 1 Dec - 6 Dec 2013, Dunedin, New Zealand.

Duong, Thach-Thao ORCID: https://orcid.org/0000-0003-2294-3619 and Pham, Duc Nghia and Sattar, Abdul and Newton, M. A. Hakim (2013) Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability. In: 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), 3 Aug - 9 Aug 2013, Beijing, China.

Duong, Huu-Phuoc and Duong, Thach-Thao ORCID: https://orcid.org/0000-0003-2294-3619 and Pham, Duc Nghia and Sattar, Abdul and Duong, Anh Duc (2013) Trap escape for local search by backtracking and conflict reverse. In: 12th Scandinavian Conference on Artificial Intelligence (SCAI 2013), 20 Nov - 22 Nov 2013, Aalborg, Denmark.

Duong, Thach-Thao ORCID: https://orcid.org/0000-0003-2294-3619 and Pham, Duc Nghia and Sattar, Abdul (2012) A Method to Avoid Duplicative Flipping in Local Search for SAT. In: 25th Australasian Joint Conference on Artificial Intelligence (AI 2012), 4 Dec - 7 Dec 2012, Sydney, Australia.

Duong, Thach-Thao ORCID: https://orcid.org/0000-0003-2294-3619 and Pham, Duc Nghia and Sattar, Abdul (2012) A Study of Local Minimum Avoidance Heuristics for SAT. In: 20th European Conference on Artificial Intelligence (ECAI 2012), 27 Aug - 31 Aug 2012, Montpellier, France.

Pham, Duc Nghia and Duong, Thach-Thao ORCID: https://orcid.org/0000-0003-2294-3619 and Sattar, Abdul (2012) Trap Avoidance in Local Search Using Pseudo-Conflict Learning. In: 26th AAAI Conference on Artificial Intelligence (AAAI 2012), 22 July - 26 July 2012, Toronto, Canada.