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

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