| No. | Title | Author | Year |
|---|---|---|---|
| 1 | The Horn Fragment of Branching Algebra | Bertagnon, Alessandro et al. | 2020 |
| 2 | Deciding the Consistency of Branching Time Interval Networks | Gavanelli, Marco et al. | 2018 |
| 3 | A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems | Peano, Andrea et al. | 2012 |
| 4 | Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit | Cattafi, Massimiliano et al. | 2012 |
| 5 | Runtime Addition of Integrity Constraints in an Abductive Proof Procedure | Alberti, Marco et al. | 2010 |
| 6 | Expressing and Verifying Business Contracts with Abductive | Alberti, Marco et al. | 2007 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 6 |