Author:
Delisle Erin,Bacchus Fahiem
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Toulbar2: wcsp solver,
http://mulcyber.toulouse.inra.fr/projects/toulbar2
2. Cooper, M., de Givry, S., Sanchez, M., Schiex, T., Zytnicki, M., Werner, T.: Soft arc consistency revisted. In: Artificial Intelligence, pp. 449–478 (2010)
3. Heras, F., Larrosa, J., Oliveras, A.: Minimaxsat: An efficient weighted max-sat solver. Journal of Artificial Intelligence Research (JAIR) 31, 1–32 (2008)
4. Lecture Notes in Computer Science;T. Alsinet,2005
5. Heras, F., Morgado, A., Marques-Silva, J.: Core-guided binary search algorithms for maximum satisfiability. In: Proceedings of the AAAI National Conference. AAAI (2011)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献