Joao Marques-Silva

Personal Info

Personal data is available from my main website.

Publications

Recent papers are listed below. Information about older publications is available from my main website.

Presentations

Invited presentations, tutorials and lectures are available here.

Software

Recent research software is available here. Information about older software is available here.

Recent Publications

2015 Publications

Journal Papers

Conference Papers

  • T. Saber, A. Ventresque, J. Marques-Silva, J. Thorburn, L. Murphy: MILP for the Multi- objective VM Reassignment Problem. ICTAI 2015
  • M. F. Arif, C. Mencía, J. Marques-Silva: Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. SAT 2015
  • A. Ignatiev, A. Previti, J. Marques-Silva: SAT-Based Formula Simplification. SAT 2015.
  • C. Mencía, A. Previti, J. Marques-Silva: SAT-Based Horn Least Upper Bounds. SAT 2015.
  • O. Kullmann, J. Marques-Silva: Computing Maximal Autarkies with Few and Simple Oracle Queries. SAT 2015.
  • M. F. Arif, C. Mencía, J. Marques-Silva: Efficient Axiom Pinpointing with EL2MCS. KI 2015.
  • A. Ignatiev, A. Previti, M. Liffiton, J. Marques-Silva: Smallest MUS Extraction with Minimal Hitting Set Dualization. CP 2015.
  • J. Marques-Silva, M. Janota, A. Ignatiev, A. Morgado: Efficient Model Based Diagnosis with Maximum Satisfiability. IJCAI 2015.
  • C. Mencia, A. Previti, J. Marques-Silva: Literal-Based MCS Extraction. IJCAI 2015.
  • A. Previti, A. Ignatiev, A. Morgado, J. Marques-Silva: Prime Compilation of Non-Clausal Formulae. IJCAI 2015.
  • M. Janota, J. Marques-Silva: Solving QBF by Clause Selection. IJCAI 2015.

Reports

2014 Publications

Journal Papers

Conference Papers

Reports

2013 Publications

Journal Papers

Conference Papers

Book Chapters

Workshop Papers

Reports

2012 Publications

Journal Papers

Conference Papers

Book Chapters

  • H. Chen, J. Marques-Silva: Improvements to Satisfiability-Based Boolean Function Bi-Decomposition. VLSI-SoC: Advanced Research for System on Chip (Best Papers of VLSI-SoC 2011), 2012

Workshop Papers

  • M. Janota, I. Lynce, J. Marques-Silva: Experimental Analysis of Backbone Computation Algorithms. RCRA 2012.
  • M. Janota, J. Marques-Silva: On Checking of Skolem-based Models of QBF. RCRA2012.
  • F. Heras, A. Morgado, and J. Marques-Silva: An Empirical Study of Encodings for Group MaxSAT. RCRA 2012.
  • A. Belov, J. Marques-Silva: MUSer2: An Efficient MUS Extractor. PoS 2012.


2011 Publications

Journal Papers

Conference Papers

Workshop Papers

  • L. Bordeaux, J. Marques-Silva: Knowledge Compilation with Empowerment. ModRef 2011.
  • Y. Hamadi, J. Marques-Silva, C. Wintersteiger: Lazy Decomposition for Distributed Decision Procedures. PMDC 2011.
  • J. Marques-Silva, I. Lynce: On Improving MUS Extraction Algorithms. RCRA 2011.
  • M. Janota, I. Lynce, V. Manquinho, J. Marques-Silva: PackUp: Tools for Package Upgradability Solving. PoS 2011.
  • H. Chen, J. Marques-Silva: TG-Pro: A SAT-based ATPG System. PoS 2011.
  • A. Morgado, F. Heras, J. Marques-Silva: The MSUnCore MaxSAT solver. PoS 2011.

Book Chapters

  • A. Graça, J. Marques-Silva, I. Lynce: Haplotype Inference Using Propositional Satisfiability. Mathematical Approaches to Polymer Sequence Analysis and Related Problems 2011: 127-147


2010 Publications

Journal Papers

Conference Papers

Workshop Papers


2009 Publications

Journal Papers

Conference Papers

Workshop Papers

  • A. Graca, I. Lynce, J. Marques-Silva, A. Oliveira: Haplotype Inference Combining Pedigrees and Unrelated Individuals. WCB 2009.
  • I. Lynce, J. Marques-Silva: Restoring CSP Satisfiability with MaxSAT. RCRA, CEUR-WS 589 (2009)

Book Chapters

  • J. Marques-Silva, I. Lynce, S. Malik: Conflict-Driven Clause Learning SAT Solvers. Handbook of Satisfiability 2009: 131-153


This page is under construction.

joao.marques-silva.txt · Last modified: 2016/01/11 18:40 by jpms
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki