![]() | Up a level |
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.