Author:
Demarchi Stefano,Menapace Marco,Tacchella Armando
Publisher
Springer International Publishing
Reference25 articles.
1. Annunziata, L., Menapace, M., Tacchella, A.: Computer intensive vs. heuristic methods in automated design of elevator systems. In: Proceedings of European Conference on Modelling and Simulation, ECMS 2017, Budapest, Hungary, 23–26 May 2017, pp. 543–549 (2017)
2. Ansótegui, C., Bofill, M., Palahí, M., Suy, J., Villaret, M.: Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. Constraints Int. J. 18(2), 236–268 (2013)
3. Lecture Notes in Computer Science;F Bacchus,2007
4. Barret, C., Fontaine, P., Tinelli, C.: The SMT-LIB standard - version 2.6 (2017). http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2017-07-18.pdf
5. Bofill, M., Palahí, M., Suy, J., Villaret, M.: Solving constraint satisfaction problems with SAT modulo theories. Constraints Int. J. 17(3), 273–303 (2012)