Studies in Computational Intelligence Volume 434, 2013, Pages 389-414 A multi-paradigm tool for large neighborhood search (Article) Cipriano, R.a , Di Gaspero, L.b , Dovier, Agostinoa a Dipartimento di Matematica e Informatica, Università Degli …
In this chapter, we present a review of various approaches to modeling protein structure by means of constraint programming. This particular programming framework has been used in the modeling of the structure and properties of chemical compounds. …
Action languages have gained popularity as a means for declaratively describing planning domains. This paper overviews two action languages, the Boolean language B and its multi-valued counterpart BMV. The paper analyzes some of the issues in using …
Hybrid Systems are dynamical systems presenting both discrete and continuous evolution. Hybrid Automata are a formal model for hybrid systems, originally proposed to study embedded systems, where a discrete control acts on a continuously changing …