Showing items related by title, author, creator and subject.

• Automated monitoring of medical protocols: a secure and distributed architecture 

  Alsinet, Teresa; Ansótegui Gil, Carlos José; Béjar Torres, Ramón; Fernàndez Camon, César; Manyà Serres, Felip (Elsevier, 2003)

  The control of the right application of medical protocols is a key issue in hospital environments. For the automated monitoring of medical protocols, we need a domain-independent language for their representation and a ...

• Minimal and Redundant SAT Encodings for the All-Interval-Series Problem 

  Alsinet, Teresa; Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; Manyà Serres, Felip (Springer Verlag, 2002)

  The SAT encodings defined so far for the all-interval-series (ais) problem are very hard for local search but rather easy for systematic algorithms. We define different SAT encodings for the ais problem and provide ...

• Generating Hard Satisfiable Scheduling Instances 

  Argelich Romà, Josep; Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; Manyà Serres, Felip; Gomes, Carla (European Conference on Planning, 2013)

  We present a random generator of partially complete round robin timetables that produces exclusively satisfiable instances, and provide experimental evidence that there is an easy-hard-easy pattern in the computational ...