ProfileOfResearchers

151

TITLE: Minimal Unsatisfiability: Models, Algorithms & Applications
AUTHORS: Marques Silva, J ;
PUBLISHED: 2010, SOURCE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010

INDEXED IN:

Scopus

WOS

IN MY:

ResearcherID

152

TITLE: Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper)
AUTHORS: João P Marques Silva ;
PUBLISHED: 2010, SOURCE: 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010

INDEXED IN:

DBLP

CrossRef: 28

Unpaywall

IN MY:

ORCID |

DBLP

153

TITLE: On Computing Backbones of Propositional Theories
AUTHORS: Marques Silva, J ; Janota, M; Lynce, I ;
PUBLISHED: 2010, SOURCE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215

INDEXED IN:

Scopus

WOS

DBLP

CrossRef

IN MY:

ORCID |

DBLP

154

TITLE: Solving Linux Upgradeability Problems Using Boolean Optimization PDF
AUTHORS: Josep Argelich; Daniel Le Berre; Inês Lynce ; João Marques Marques Silva ; Pascal Rapicault;
PUBLISHED: 2010, SOURCE: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., VOLUME: 29

INDEXED IN:

DBLP

arXiv

IN MY:

DBLP

155

TITLE: A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas Full Text
AUTHORS: Liffiton, M; Mneimneh, M; Lynce, I ; Andraus, Z; Marques Silva, J ; Sakallah, K;
PUBLISHED: 2009, SOURCE: CONSTRAINTS, VOLUME: 14, ISSUE: 4

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 26

Unpaywall

IN MY:

ORCID |

ResearcherID |

DBLP

156

TITLE: A Lazy Unbounded Model Checker for Event-B
AUTHORS: Paulo J Matos; Bernd Fischer; João P Marques Silva ;
PUBLISHED: 2009, SOURCE: 11th International Conference on Formal Engineering Methods, ICFEM 2009 in Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, VOLUME: 5885

INDEXED IN:

Scopus

DBLP

CrossRef

Unpaywall

IN MY:

ORCID |

DBLP

157

TITLE: Algorithms for finding dispensable variables PDF
AUTHORS: Mikolás Janota; João Marques Silva ; Radu Grigore;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.0013

INDEXED IN:

DBLP

arXiv

IN MY:

DBLP

158

TITLE: Algorithms for Weighted Boolean Optimization
AUTHORS: Vasco M Manquinho ; João P Marques Silva ; Jordi Planes;
PUBLISHED: 2009, SOURCE: 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009 in Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, VOLUME: 5584

INDEXED IN:

Scopus

DBLP

CrossRef

Unpaywall

IN MY:

ORCID |

DBLP

159

TITLE: Conflict-Driven Clause Learning SAT Solvers
AUTHORS: João P Marques Silva ; Inês Lynce ; Sharad Malik;
PUBLISHED: 2009, SOURCE: Handbook of Satisfiability, VOLUME: 185, ISSUE: 1

INDEXED IN:

Scopus

DBLP

CrossRef

IN MY:

ORCID |

DBLP

160