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