|
|
RUN >
Browsing by Author Barahona, Pedro
Showing results 1 to 11 of 11
| Issue Date | Title | Author(s) | | 2011 | Constraint-based modeling of minimum set covering: application to species differentation | Barahona, Pedro; Buezas, David |
| 2011 | Constraint-based verification of imperative programs | Barahona, Pedro; Beyene, Tewodros Awgichew |
| 2003 | Constraint reasoning for differential models | Barahona, Pedro; Cruz, Jorge Carlos Ferreira Rodrigues da |
| 2002 | Constraint solving over multi-valued logics - application to digital circuits | Barahona, Pedro; Azevedo, Francisco de Moura e Castro Ascensão de |
| 2012 | Heuristics and policies for online pickup and delivery problems | Barahona, Pedro; Kilby, Philip; Walsh, Toby; Aleksandrov, Martin Damyanov |
| 2003 | Integrating protein structural information | Barahona, Pedro; Moura, José J. G.; Krippahl, Ludwig |
| 2006 | Mining protein structure data | Barahona, Pedro; Krippahl, Ludwig; Santos, José Carlos Almeida |
| 2012 | Modeling assembly program with constraints. A contribution to WCET problem | Barahona, Pedro; Cassez, Franck; Kafle, Bishoksan |
| 2010 | Modern techniques for constraint solving the CASPER experience | Barahona, Pedro; Correia, Marco Vargas |
| 2012 | Probabilistic constraint reasoning | Cruz, Jorge; Barahona, Pedro; Carvalho, Elsa Cristina Batista Bento |
| 2011 | Resolução de horários de exames com pesquisa local restringida | Barahona, Pedro; Roldão, Francisco José de Abreu |
Showing results 1 to 11 of 11
|
