Pedro Manuel Correa Calvente Barahona


AuthID: R-000-EVD

Confirmed Publications: 43



11
TITLE: On the Efficiency of Impact Based Heuristics  Full Text
AUTHORS: Marco Correia; Pedro Barahona ;
PUBLISHED: 2008, SOURCE: 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, VOLUME: 5202
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
12
TITLE: On the Integration of Singleton Consistencies and Look-Ahead Heuristics
AUTHORS: Marco Correia; Pedro Barahona ;
PUBLISHED: 2008, SOURCE: 12th Annual Recent Advances in Constraints International Workshop on Constraint Solving and Constraint Logic Programming in RECENT ADVANCES IN CONSTRAINTS, 12TH ANNUAL ERCIM INTERNATIONAL WORKSHOP, VOLUME: 5129
INDEXED IN: Scopus WOS
IN MY: ORCID
13
TITLE: Probabilistic constraints for inverse problems  Full Text
AUTHORS: Carvalho, E; Cruz, J ; Barahona, P ;
PUBLISHED: 2008, SOURCE: International Workshop on Interval and Probabilistic Uncertainty and Non-Classical Logics in INTERVAL / PROBABILISTIC UNCERTAINTY AND NON-CLASSICAL LOGICS, VOLUME: 46
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
14
TITLE: Probabilistic Continuous Constraint Satisfaction Problems
AUTHORS: Elsa Carvalho; Jorge Cruz ; Pedro Barahona ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 2, PROCEEDINGS, VOLUME: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
15
TITLE: Using Indexed Finite Set Variables for Set Bounds Propagation
AUTHORS: Ruben Duarte Viegas; Marco Correia; Pedro Barahona ; Francisco Azevedo;
PUBLISHED: 2008, SOURCE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
16
TITLE: A constraint programming approach to bioinformatics structural problems
AUTHORS: Pedro Barahona ; Ludwig Krippahl;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354
INDEXED IN: Scopus WOS
IN MY: ORCID
17
TITLE: Probabilistic reasoning with continuous constraints  Full Text
AUTHORS: Carvalho, E; Cruz, J ; Barahona, P ; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLISHED: 2007, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in Numerical Analysis and Applied Mathematics, VOLUME: 936
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
18
TITLE: A framework for optimal correction of inconsistent linear constraints  Full Text
AUTHORS: Amaral, P ; Barahona, P ;
PUBLISHED: 2005, SOURCE: Annual Conference on Principles and Practice of Constraint Progamming in CONSTRAINTS, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 7
IN MY: ORCID
19
TITLE: Applying constraint programming to rigid body protein docking
AUTHORS: Krippahl, L; Barahona, P ;
PUBLISHED: 2005, SOURCE: 11th International Conference on Principles and Practice of Constraint Programming (CP 2005) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS, VOLUME: 3709
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
20
TITLE: Connections between the total least squares and the correction of an infeasible system of linear inequalities  Full Text
AUTHORS: Amaral, P ; Barahona, P ;
PUBLISHED: 2005, SOURCE: Linear Algebra and Its Applications, VOLUME: 395, ISSUE: 1-3
INDEXED IN: Scopus CrossRef: 12
IN MY: ORCID
Page 2 of 5. Total results: 43.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service