ProfileOfResearchers

171

TITLE: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
AUTHORS: Morgado, António ; João Marques Silva ;
PUBLISHED: 2008, SOURCE: RCRA, VOLUME: 451

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID

172

TITLE: Efficient haplotype inference with combined CP and OR techniques Full Text
AUTHORS: Graca, A; Marques Silva, J ; Lynce, I ; Oliveira, AL ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems in INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, VOLUME: 5015

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 7

IN MY:

ORCID

173

TITLE: Haplotype Inference with Boolean Constraint Solving: An Overview
AUTHORS: Lynce, I ; Graça, 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

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 2

Unpaywall

IN MY:

ORCID

174

TITLE: Haplotype inference with Boolean satisfiability Full Text
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2008, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 17, ISSUE: 2

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 16

Unpaywall

IN MY:

ORCID |

DBLP

175

TITLE: Improvements to Hybrid Incremental SAT Algorithms
AUTHORS: Florian Letombe; João Marques Silva ;
PUBLISHED: 2008, SOURCE: 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008 in Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings, VOLUME: 4996

INDEXED IN:

Scopus

DBLP

CrossRef: 4

IN MY:

ORCID |

DBLP

176

TITLE: Model Checking Event-B by Encoding into Alloy
AUTHORS: Paulo J Matos; João Marques Silva ;
PUBLISHED: 2008, SOURCE: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, VOLUME: 5238

INDEXED IN:

DBLP

IN MY:

DBLP

177

TITLE: Model checking with Boolean Satisfiability Full Text
AUTHORS: Marques Silva, J ;
PUBLISHED: 2008, SOURCE: JOURNAL OF ALGORITHMS, VOLUME: 63, ISSUE: 1-3

INDEXED IN:

Scopus

WOS

DBLP

CrossRef

Unpaywall

IN MY:

ORCID |

ResearcherID |

DBLP

178

TITLE: On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization
AUTHORS: Federico Heras; Vasco M Manquinho ; João Marques Silva ;
PUBLISHED: 2008, SOURCE: 21th International Florida Artificial Intelligence Research Society Conference, FLAIRS-21 in Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID |

DBLP

179

TITLE: Practical applications of boolean satisfiability
AUTHORS: Joao Marques Silva ;
PUBLISHED: 2008, SOURCE: Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

INDEXED IN:

Scopus

CrossRef: 51

Unpaywall

IN MY:

ORCID

180

TITLE: Symmetry Breaking for Maximum Satisfiability PDF
AUTHORS: Marques Silva, J ; Lynce, I ; Manquinho, V ;
PUBLISHED: 2008, SOURCE: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning in Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, VOLUME: 5330

INDEXED IN:

Scopus

WOS

DBLP