Pedro Barahona

Learn More
In this paper, we propose a constraint-based approach to determining protein structures compatible with distance constraints obtained from Nuclear Magnetic Resonance (NMR) data. We compare the performance of our proposed algorithm with DYANA ("Dynamics algorithm for NMR applications” [1]) an existing commercial application based on simulated annealing. For(More)
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem solver (e.g. a propositional Boolean SAT tool). This approach, however, requires models with substantial duplication of digital circuits. In Constraint Logic Programming, the use(More)
In this paper we propose PSICO (Processing Structural Information with Constraint programming and Optimisation) as a constraint-based approach to determining protein structures compatible with distance constraints obtained from Nuclear Magnetic Resonance (NMR) data. We compare the performance of our proposed algorithm with DYANA (“Dynamics algorithm for NMR(More)
This paper presents an incremental method to solve hierarchies of constraints over nite domains, which borrows techniques developed in intelligent backtracking, and nds locally-predicate-better solutions. A prototype implementation of this method, IHCS, was written in C and can be integrated with diierent programming environments. In particular, with Prolog(More)
Superficial knowledge about drug effects and interactions may provide clinicians with only a limited support for the elaboration of therapy plans. Deeper knowledge of the mechanisms through which drugs produce their effects, together with their temporal constraints, should be modelled to predict the effects and interactions of their joint administration.(More)
This paper addresses constraint solving over continuous domains in the context of decision making, and discusses the trade-off between precision in the definition of the solution space and the computational effort required. In alternative to local consistency, which is usually maintained in handling continuous constraints, we discuss maintaining global(More)