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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI