Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
71
TÃTULO: Haplotype Inference with Boolean Constraint Solving: An Overview
AUTORES: Lynce, I; Graca, A; Marques Silva, J ; Oliveira, AL ;
PUBLICAÇÃO: 2008, FONTE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1
AUTORES: Lynce, I; Graca, A; Marques Silva, J ; Oliveira, AL ;
PUBLICAÇÃO: 2008, FONTE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1
72
TÃTULO: Modelling Max-CSP as partial Max-SAT
AUTORES: Josep Argelich; Alba Cabiscol; Ines Lynce; Felip Manya;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
AUTORES: Josep Argelich; Alba Cabiscol; Ines Lynce; Felip Manya;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
INDEXADO EM: 
WOS
WOS NO MEU: 
ORCID
ORCID73
TÃTULO: HAPLOTYPE INFERENCE WITH BOOLEAN SATISFIABILITY Full Text
AUTORES: INÊS LYNCE; JOÃO MARQUES SILVA;
PUBLICAÇÃO: 2008, FONTE: International Journal on Artificial Intelligence Tools
AUTORES: INÊS LYNCE; JOÃO MARQUES SILVA;
PUBLICAÇÃO: 2008, FONTE: International Journal on Artificial Intelligence Tools
INDEXADO EM: 
Unpaywall
Unpaywall74
TÃTULO: Symmetry Breaking for Maximum Satisfiability PDF
AUTORES: João Marques Silva; Inês Lynce; Vasco M Manquinho;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0804.0599
AUTORES: João Marques Silva; Inês Lynce; Vasco M Manquinho;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0804.0599
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv75
TÃTULO: Towards Robust CNF Encodings of Cardinality Constraints
AUTORES: Joao Marques-Silva; Inês Lynce;
PUBLICAÇÃO: 2007, FONTE: Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science
AUTORES: Joao Marques-Silva; Inês Lynce;
PUBLICAÇÃO: 2007, FONTE: Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science
76
TÃTULO: Refutation by Randomised General Resolution
AUTORES: Steven Prestwich; Inês Lynce;
PUBLICAÇÃO: 2007, FONTE: 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 in Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007
AUTORES: Steven Prestwich; Inês Lynce;
PUBLICAÇÃO: 2007, FONTE: 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 in Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007
INDEXADO EM: 
Scopus
Scopus77
TÃTULO: Separating a real-life nonlinear mixture of images
AUTORES: Almeida, LB ; Faria, M;
PUBLICAÇÃO: 2004, FONTE: 5th International Conference on Independent Component Analysis and Blind Signal Separation (ICA) in INDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION, VOLUME: 3195
AUTORES: Almeida, LB ; Faria, M;
PUBLICAÇÃO: 2004, FONTE: 5th International Conference on Independent Component Analysis and Blind Signal Separation (ICA) in INDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION, VOLUME: 3195
INDEXADO EM: Scopus WOS
Scopus WOS78
TÃTULO: Heuristic backtracking algorithms for SAT Full Text
AUTORES: Bhalla, A; Lynce, I; de Sousa, JT; Marques Silva, J ;
PUBLICAÇÃO: 2003, FONTE: 4th International Workshop on Microprocessor Test and Verification in 4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, VOLUME: 2003-January
AUTORES: Bhalla, A; Lynce, I; de Sousa, JT; Marques Silva, J ;
PUBLICAÇÃO: 2003, FONTE: 4th International Workshop on Microprocessor Test and Verification in 4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, VOLUME: 2003-January
79
TÃTULO: Building state-of-the-art SAT solvers
AUTORES: Lynce, I; Marques Silva, J ;
PUBLICAÇÃO: 2002, FONTE: 15th European Conference on Artificial Intelligence in ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 77
AUTORES: Lynce, I; Marques Silva, J ;
PUBLICAÇÃO: 2002, FONTE: 15th European Conference on Artificial Intelligence in ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 77
INDEXADO EM: WOS DBLP
WOS DBLP NO MEU: ORCID
ORCID80
TÃTULO: Improving SAT Algorithms by Using Search Pruning Techniques
AUTORES: Inês Lynce; João P Marques Silva ;
PUBLICAÇÃO: 2001, FONTE: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, VOLUME: 2239
AUTORES: Inês Lynce; João P Marques Silva ;
PUBLICAÇÃO: 2001, FONTE: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, VOLUME: 2239
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: ORCID
ORCID