460210. Satisfiability and optimisation
| Title | 460210. Satisfiability and optimisation |
|---|---|
| Parent | 4602. Artificial intelligence |
Latest research outputs
Sort by Date Title
Trap Avoidance in Local Search Using Pseudo-Conflict Learning
Pham, Duc Nghia, Duong, Thach-Thao and Sattar, Abdul. 2012. "Trap Avoidance in Local Search Using Pseudo-Conflict Learning." 26th AAAI Conference on Artificial Intelligence (AAAI 2012). Toronto, Canada 22 - 26 Jul 2012 United States.Paper
Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability
Duong, Thach-Thao, Pham, Duc Nghia, Sattar, Abdul and Newton, M. A. Hakim. 2013. "Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability." Rossi, Francesca (ed.) 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). Beijing, China 03 - 09 Aug 2013Paper
Trap escape for local search by backtracking and conflict reverse
Duong, Huu-Phuoc, Duong, Thach-Thao, Pham, Duc Nghia, Sattar, Abdul and Duong, Anh Duc. 2013. "Trap escape for local search by backtracking and conflict reverse." Jaeger, Manfred, Nielsen, Thomas Dyhre and Viappiani, Paolo (ed.) 12th Scandinavian Conference on Artificial Intelligence (SCAI 2013). Aalborg, Denmark 20 - 22 Nov 2013 Amsterdam. https://doi.org/10.3233/978-1-61499-330-8-85Paper
Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution
Duong, Thach-Thao, Pham, Duc-Nghia and Sattar, Abdul. 2013. "Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution." Cranefield, Stephen and Nayak, Abhaya (ed.) 26th Australasian Joint Conference on Artificial Intelligence (AI 2013). Dunedin, New Zealand 01 - 06 Dec 2013 Switzerland. https://doi.org/10.1007/978-3-319-03680-9_18Paper
A Study of Local Minimum Avoidance Heuristics for SAT
Duong, Thach-Thao, Pham, Duc Nghia and Sattar, Abdul. 2012. "A Study of Local Minimum Avoidance Heuristics for SAT." De Raedt, Luc, Bessiere, Christian, Dubois, Didier, Doherty, Patrick, Frasconi, Paolo, Heintz, Fredrik and Lucas, Peter (ed.) 20th European Conference on Artificial Intelligence (ECAI 2012). Montpellier, France 27 - 31 Aug 2012 Netherlands. https://doi.org/10.3233/978-1-61499-098-7-300Paper
A Method to Avoid Duplicative Flipping in Local Search for SAT
Duong, Thach-Thao, Pham, Duc Nghia and Sattar, Abdul. 2012. "A Method to Avoid Duplicative Flipping in Local Search for SAT." Thielscher, Michael and Zhang, Dongmo (ed.) 25th Australasian Joint Conference on Artificial Intelligence (AI 2012). Sydney, Australia 04 - 07 Dec 2012 Berlin. https://doi.org/10.1007/978-3-642-35101-3_19Paper