publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2024

  1. Delivering Inflated Explanations
    Yacine Izza , Alexey Ignatiev , Peter J. Stuckey , and 1 more author
    In Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada , 2024

2023

  1. Tractability of explaining classifier decisions
    Martin C. Cooper , and João Marques-Silva
    Artif. Intell., 2023
  2. No silver bullet: interpretable ML models must be explained
    João Marques-Silva , and Alexey Ignatiev
    Frontiers Artif. Intell., 2023
  3. On computing probabilistic abductive explanations
    Yacine Izza , Xuanxiang Huang , Alexey Ignatiev , and 3 more authors
    Int. J. Approx. Reason., 2023
  4. Solving Explainability Queries with Quantification: The Case of Feature Relevancy
    Xuanxiang Huang , Yacine Izza , and João Marques-Silva
    In Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023 , 2023
  5. Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations
    Jinqiang Yu , Alexey Ignatiev , Peter J. Stuckey , and 2 more authors
    In Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023 , 2023
  6. Efficient Reasoning about Infeasible One Machine Sequencing
    Raúl Mencı́a , Carlos Mencı́a , and João Marques-Silva
    In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic , 2023
  7. From Decision Trees to Explained Decision Sets
    Xuanxiang Huang , and João Marques-Silva
    In ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023) , 2023
  8. Disproving XAI Myths with Formal Methods - Initial Results
    João Marques-Silva
    In 27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023 , 2023
  9. On Tackling Explanation Redundancy in Decision Trees (Extended Abstract)
    Yacine Izza , Alexey Ignatiev , and João Marques-Silva
    In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China , 2023
  10. On Computing Relevant Features for Explaining NBCs
    Yacine Izza , and João Marques-Silva
    In Proceedings of 1st Workshop on AI-driven heterogeneous data management: Completing, merging, handling inconsistencies and query-answering, co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, September 3-4, 2023 , 2023
  11. Tractable Explaining of Multivariate Decision Trees
    Clément Carbonnel , Martin C. Cooper , and João Marques-Silva
    In Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023 , 2023
  12. Feature Necessity & Relevancy in ML Classifier Explanations
    Xuanxiang Huang , Martin C. Cooper , António Morgado , and 2 more authors
    In Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I , 2023
  13. Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers
    Aurélie Hurault , and João Marques-Silva
    In Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings , 2023
  14. The Inadequacy of Shapley Values for Explainability
    Xuanxiang Huang , and João Marques-Silva
    CoRR, 2023
  15. Disproving XAI Myths with Formal Methods - Initial Results
    João Marques-Silva
    CoRR, 2023
  16. From Robustness to Explainability and Back Again
    Xuanxiang Huang , and João Marques-Silva
    CoRR, 2023
  17. Delivering Inflated Explanations
    Yacine Izza , Alexey Ignatiev , Peter J. Stuckey , and 1 more author
    CoRR, 2023
  18. On Logic-Based Explainability with Partially Specified Inputs
    Ramón Béjar , António Morgado , Jordi Planes , and 1 more author
    CoRR, 2023
  19. Explainability is NOT a Game
    João Marques-Silva , and Xuanxiang Huang
    CoRR, 2023
  20. A Refutation of Shapley Values for Explainability
    Xuanxiang Huang , and João Marques-Silva
    CoRR, 2023
  21. Refutation of Shapley Values for XAI - Additional Evidence
    Xuanxiang Huang , and João Marques-Silva
    CoRR, 2023
  22. The Pros and Cons of Adversarial Robustness
    Yacine Izza , and João Marques-Silva
    CoRR, 2023
  23. Locally-Minimal Probabilistic Explanations
    Yacine Izza , Kuldeep S. Meel , and João Marques-Silva
    CoRR, 2023

2022

  1. On Tackling Explanation Redundancy in Decision Trees
    Yacine Izza , Alexey Ignatiev , and João Marques-Silva
    J. Artif. Intell. Res., 2022
  2. Using MaxSAT for Efficient Explanations of Tree Ensembles
    Alexey Ignatiev , Yacine Izza , Peter J. Stuckey , and 1 more author
    In Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022 , 2022
  3. Tractable Explanations for d-DNNF Classifiers
    Xuanxiang Huang , Yacine Izza , Alexey Ignatiev , and 3 more authors
    In Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022 , 2022
  4. Constraint-Driven Explanations for Black-Box ML Models
    Aditya A. Shrotri , Nina Narodytska , Alexey Ignatiev , and 3 more authors
    In Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022 , 2022
  5. Delivering Trustworthy AI through Formal XAI
    João Marques-Silva , and Alexey Ignatiev
    In Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022 , 2022
  6. Logic-Based Explainability in Machine Learning
    João Marques-Silva
    In Reasoning Web. Causality, Explanations and Declarative Knowledge - 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures , 2022
  7. On Deciding Feature Membership in Explanations of SDD & Related Classifiers
    Xuanxiang Huang , and João Marques-Silva
    CoRR, 2022
  8. Provably Precise, Succinct and Efficient Explanations for Decision Trees
    Yacine Izza , Alexey Ignatiev , Nina Narodytska , and 2 more authors
    CoRR, 2022
  9. On Tackling Explanation Redundancy in Decision Trees
    Yacine Izza , Alexey Ignatiev , and João Marques-Silva
    CoRR, 2022
  10. Eliminating The Impossible, Whatever Remains Must Be True
    Jinqiang Yu , Alexey Ignatiev , Peter J. Stuckey , and 2 more authors
    CoRR, 2022
  11. On Computing Relevant Features for Explaining NBCs
    Yacine Izza , and João Marques-Silva
    CoRR, 2022
  12. Feature Necessity & Relevancy in ML Classifier Explanations
    Xuanxiang Huang , Martin C. Cooper , António Morgado , and 2 more authors
    CoRR, 2022
  13. Logic-Based Explainability in Machine Learning
    João Marques-Silva
    CoRR, 2022
  14. On Computing Probabilistic Abductive Explanations
    Yacine Izza , Xuanxiang Huang , Alexey Ignatiev , and 3 more authors
    CoRR, 2022

2021

  1. Propositional proof systems based on maximum satisfiability
    Maria Luisa Bonet , Sam Buss , Alexey Ignatiev , and 2 more authors
    Artif. Intell., 2021
  2. Auditing static machine learning anti-Malware tools against metamorphic attacks
    Daniel Gibert , Carles Mateu , Jordi Planes , and 1 more author
    Comput. Secur., 2021
  3. A Scalable Two Stage Approach to Computing Optimal Decision Sets
    Alexey Ignatiev , Edward Lam , Peter J. Stuckey , and 1 more author
    In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021 , 2021
  4. Automated Reasoning in Explainable AI
    João Marques-Silva
    In Artificial Intelligence Research and Development - Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence, CCIA 2021, Virtual Event, 20-22 October, 2021 , 2021
  5. On the Tractability of Explaining Decisions of Classifiers
    Martin C. Cooper , and João Marques-Silva
    In 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021 , 2021
  6. Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification
    Gianpiero Cabodi , Paolo E. Camurati , Alexey Ignatiev , and 3 more authors
    In Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021 , 2021
  7. Explanations for Monotonic Classifiers
    João Marques-Silva , Thomas Gerspacher , Martin C. Cooper , and 2 more authors
    In Proceedings of the 38th International Conference on Machine Learning, ICML 2021, 18-24 July 2021, Virtual Event , 2021
  8. On Explaining Random Forests with SAT
    Yacine Izza , and João Marques-Silva
    In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021 , 2021
  9. Reasoning-Based Learning of Interpretable ML Models
    Alexey Ignatiev , João Marques-Silva , Nina Narodytska , and 1 more author
    In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021 , 2021
  10. On Efficiently Explaining Graph-Based Classifiers
    Xuanxiang Huang , Yacine Izza , Alexey Ignatiev , and 1 more author
    In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021 , 2021
  11. SAT-Based Rigorous Explanations for Decision Lists
    Alexey Ignatiev , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings , 2021
  12. Assessing Progress in SAT Solvers Through the Lens of Incremental SAT
    Stepan Kochemazov , Alexey Ignatiev , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings , 2021
  13. Conflict-Driven Clause Learning SAT Solvers
    João Marques-Silva , Inês Lynce , and Sharad Malik
    In Handbook of Satisfiability - Second Edition , 2021
  14. A Scalable Two Stage Approach to Computing Optimal Decision Sets
    Alexey Ignatiev , Edward Lam , Peter J. Stuckey , and 1 more author
    CoRR, 2021
  15. MILP for the Multi-objective VM Reassignment Problem
    Takfarinas Saber , Anthony Ventresque , João Marques-Silva , and 2 more authors
    CoRR, 2021
  16. SAT-Based Rigorous Explanations for Decision Lists
    Alexey Ignatiev , and João Marques-Silva
    CoRR, 2021
  17. On Explaining Random Forests with SAT
    Yacine Izza , and João Marques-Silva
    CoRR, 2021
  18. Explanations for Monotonic Classifiers
    João Marques-Silva , Thomas Gerspacher , Martin C. Cooper , and 2 more authors
    CoRR, 2021
  19. Efficient Explanations With Relevant Sets
    Yacine Izza , Alexey Ignatiev , Nina Narodytska , and 2 more authors
    CoRR, 2021
  20. On Efficiently Explaining Graph-Based Classifiers
    Xuanxiang Huang , Yacine Izza , Alexey Ignatiev , and 1 more author
    CoRR, 2021
  21. Efficient Explanations for Knowledge Compilation Languages
    Xuanxiang Huang , Yacine Izza , Alexey Ignatiev , and 3 more authors
    CoRR, 2021
  22. Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361)
    João Marques-Silva , Rafael Peñaloza , and Uli Sattler
    Dagstuhl Reports, 2021

2020

  1. Optimum stable model search: algorithms and implementation
    Mario Alviano , Carmine Dodaro , João Marques-Silva , and 1 more author
    J. Log. Comput., 2020
  2. From Contrastive to Abductive Explanations and Back Again
    Alexey Ignatiev , Nina Narodytska , Nicholas Asher , and 1 more author
    In AIxIA 2020 - Advances in Artificial Intelligence - XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25-27, 2020, Revised Selected Papers , 2020
  3. Towards Formal Fairness in Machine Learning
    Alexey Ignatiev , Martin C. Cooper , Mohamed Siala , and 2 more authors
    In Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings , 2020
  4. Branch Location Problems with Maximum Satisfiability
    Oleg Zaikin , Alexey Ignatiev , and João Marques-Silva
    In ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) , 2020
  5. Reasoning About Inconsistent Formulas
    João Marques-Silva , and Carlos Mencı́a
    In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 , 2020
  6. Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
    João Marques-Silva , Thomas Gerspacher , Martin C. Cooper , and 2 more authors
    In Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual , 2020
  7. Reasoning About Strong Inconsistency in ASP
    Carlos Mencı́a , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings , 2020
  8. Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
    João Marques-Silva , Thomas Gerspacher , Martin C. Cooper , and 2 more authors
    CoRR, 2020
  9. On Explaining Decision Trees
    Yacine Izza , Alexey Ignatiev , and João Marques-Silva
    CoRR, 2020
  10. On Relating ’Why?’ and ’Why Not?’ Explanations
    Alexey Ignatiev , Nina Narodytska , Nicholas Asher , and 1 more author
    CoRR, 2020

2019

  1. Formally Verifying the Solution to the Boolean Pythagorean Triples Problem
    Luı́s Cruz-Filipe , João Marques-Silva , and Peter Schneider-Kamp
    J. Autom. Reason., 2019
  2. RC2: an Efficient MaxSAT Solver
    Alexey Ignatiev , António Morgado , and João Marques-Silva
    J. Satisf. Boolean Model. Comput., 2019
  3. Abduction-Based Explanations for Machine Learning Models
    Alexey Ignatiev , Nina Narodytska , and João Marques-Silva
    In The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019 , 2019
  4. Computing Shortest Resolution Proofs
    Carlos Mencı́a , and João Marques-Silva
    In Progress in Artificial Intelligence, 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part II , 2019
  5. Model-Based Diagnosis with Multiple Observations
    Alexey Ignatiev , António Morgado , Georg Weissenbacher , and 1 more author
    In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019 , 2019
  6. Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
    Ilya Zakirzyanov , António Morgado , Alexey Ignatiev , and 2 more authors
    In Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings , 2019
  7. On Relating Explanations and Adversarial Examples
    Alexey Ignatiev , Nina Narodytska , and João Marques-Silva
    In Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada , 2019
  8. On Computing the Union of MUSes
    Carlos Mencı́a , Oliver Kullmann , Alexey Ignatiev , and 1 more author
    In Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings , 2019
  9. DRMaxSAT with MaxHS: First Contact
    António Morgado , Alexey Ignatiev , Maria Luisa Bonet , and 2 more authors
    In Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings , 2019
  10. Assessing Heuristic Machine Learning Explanations with Model Counting
    Nina Narodytska , Aditya A. Shrotri , Kuldeep S. Meel , and 2 more authors
    In Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings , 2019
  11. On Validating, Repairing and Refining Heuristic ML Explanations
    Alexey Ignatiev , Nina Narodytska , and João Marques-Silva
    CoRR, 2019
  12. From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)
    Zied Bouraoui , Antoine Cornuéjols , Thierry Denoeux , and 9 more authors
    CoRR, 2019

2018

  1. MaxSAT Resolution With the Dual Rail Encoding
    Maria Luisa Bonet , Sam Buss , Alexey Ignatiev , and 2 more authors
    In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018 , 2018
  2. Premise Set Caching for Enumerating Minimal Correction Subsets
    Alessandro Previti , Carlos Mencı́a , Matti Järvisalo , and 1 more author
    In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018 , 2018
  3. A SAT-Based Approach to Learn Explainable Decision Sets
    Alexey Ignatiev , Filipe Pereira , Nina Narodytska , and 1 more author
    In Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings , 2018
  4. Computing with SAT Oracles: Past, Present and Future
    João Marques-Silva
    In Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings , 2018
  5. Learning Optimal Decision Trees with SAT
    Nina Narodytska , Alexey Ignatiev , Filipe Pereira , and 1 more author
    In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden , 2018
  6. PySAT: A Python Toolkit for Prototyping with SAT Oracles
    Alexey Ignatiev , António Morgado , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings , 2018
  7. Propositional SAT Solving
    João Marques-Silva , and Sharad Malik
    In Handbook of Model Checking , 2018
  8. Abduction-Based Explanations for Machine Learning Models
    Alexey Ignatiev , Nina Narodytska , and João Marques-Silva
    CoRR, 2018

2017

  1. Minimal sets on propositional formulae. Problems and reductions
    João Marques-Silva , Mikolás Janota , and Carlos Mencı́a
    Artif. Intell., 2017
  2. Exact and Hybrid Solutions for the Multi-Objective VM Reassignment Problem
    Takfarinas Saber , João Marques-Silva , James Thorburn , and 1 more author
    Int. J. Artif. Intell. Tools, 2017
  3. On Minimal Corrections in ASP
    Mikolás Janota , and João Marques-Silva
    In Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 14-15, 2017 , 2017
  4. Debugging EL+ Ontologies through Horn MUS Enumeration
    Alexey Ignatiev , João Marques-Silva , Carlos Mencı́a , and 1 more author
    In Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017 , 2017
  5. An Achilles’ Heel of Term-Resolution
    Mikolás Janota , and João Marques-Silva
    In Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings , 2017
  6. Horn Maximum Satisfiability: Reductions, Algorithms and Applications
    João Marques-Silva , Alexey Ignatiev , and António Morgado
    In Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings , 2017
  7. Lean Kernels in Description Logics
    Rafael Peñaloza , Carlos Mencı́a , Alexey Ignatiev , and 1 more author
    In The Semantic Web - 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I , 2017
  8. On Computing Generalized Backbones
    Alessandro Previti , Alexey Ignatiev , Matti Järvisalo , and 1 more author
    In 29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2017, Boston, MA, USA, November 6-8, 2017 , 2017
  9. Cardinality Encodings for Graph Optimization Problems
    Alexey Ignatiev , António Morgado , and João Marques-Silva
    In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 , 2017
  10. On Tackling the Limits of Resolution in SAT Solving
    Alexey Ignatiev , António Morgado , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings , 2017
  11. Improving MCS Enumeration via Caching
    Alessandro Previti , Carlos Mencı́a , Matti Järvisalo , and 1 more author
    In Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings , 2017
  12. Efficient Certified Resolution Proof Checking
    Luı́s Cruz-Filipe , João Marques-Silva , and Peter Schneider-Kamp
    In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I , 2017
  13. On Tackling the Limits of Resolution in SAT Solving
    Alexey Ignatiev , António Morgado , and João Marques-Silva
    CoRR, 2017
  14. Horn Maximum Satisfiability: Reductions, Algorithms & Applications
    João Marques-Silva , Alexey Ignatiev , and António Morgado
    CoRR, 2017
  15. Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets
    Alexey Ignatiev , António Morgado , and João Marques-Silva
    CoRR, 2017

2016

  1. On the query complexity of selecting minimal sets for monotone predicates
    Mikolás Janota , and João Marques-Silva
    Artif. Intell., 2016
  2. Solving QBF with counterexample guided refinement
    Mikolás Janota , William Klieber , João Marques-Silva , and 1 more author
    Artif. Intell., 2016
  3. Maximal falsifiability
    Alexey Ignatiev , António Morgado , Jordi Planes , and 1 more author
    AI Commun., 2016
  4. Reports of the 2016 AAAI Workshop Program
    Stefano V. Albrecht , Bruno Bouchard , John S. Brownstein , and 32 more authors
    AI Mag., 2016
  5. Fast, flexible MUS enumeration
    Mark H. Liffiton , Alessandro Previti , Ammar Malik , and 1 more author
    Constraints An Int. J., 2016
  6. Quantified maximum satisfiability
    Alexey Ignatiev , Mikolás Janota , and João Marques-Silva
    Constraints An Int. J., 2016
  7. Preface: The Beyond NP Workshop
    Adnan Darwiche , João Marques-Silva , and Pierre Marquis
    In Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016 , 2016
  8. On Finding Minimum Satisfying Assignments
    Alexey Ignatiev , Alessandro Previti , and João Marques-Silva
    In Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings , 2016
  9. Propositional Abduction with Implicit Hitting Sets
    Alexey Ignatiev , António Morgado , and João Marques-Silva
    In ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016) , 2016
  10. Efficient Reasoning for Inconsistent Horn Formulae
    João Marques-Silva , Alexey Ignatiev , Carlos Mencı́a , and 1 more author
    In Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings , 2016
  11. MCS Extraction with Sublinear Oracle Queries
    Carlos Mencı́a , Alexey Ignatiev , Alessandro Previti , and 1 more author
    In Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings , 2016
  12. BEACON: An Efficient SAT-Based Tool for Debugging \emphEL\^+ Ontologies
    M. Fareed Arif , Carlos Mencı́a , Alexey Ignatiev , and 3 more authors
    In Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings , 2016
  13. Propositional Abduction with Implicit Hitting Sets
    Alexey Ignatiev , António Morgado , and João Marques-Silva
    CoRR, 2016
  14. Efficient Certified Resolution Proof Checking
    Luı́s Cruz-Filipe , João Marques-Silva , and Peter Schneider-Kamp
    CoRR, 2016

2015

  1. Algorithms for computing backbones of propositional formulae
    Mikolás Janota , Inês Lynce , and João Marques-Silva
    AI Commun., 2015
  2. MaxSAT-based encodings for Group MaxSAT
    Federico Heras , António Morgado , and João Marques-Silva
    AI Commun., 2015
  3. Expansion-based QBF solving versus Q-resolution
    Mikolás Janota , and João Marques-Silva
    Theor. Comput. Sci., 2015
  4. Smallest MUS Extraction with Minimal Hitting Set Dualization
    Alexey Ignatiev , Alessandro Previti , Mark H. Liffiton , and 1 more author
    In Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings , 2015
  5. MILP for the Multi-objective VM Reassignment Problem
    Takfarinas Saber , Anthony Ventresque , João Marques-Silva , and 2 more authors
    In 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015 , 2015
  6. Solving QBF by Clause Selection
    Mikolás Janota , and João Marques-Silva
    In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 , 2015
  7. Efficient Model Based Diagnosis with Maximum Satisfiability
    João Marques-Silva , Mikolás Janota , Alexey Ignatiev , and 1 more author
    In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 , 2015
  8. Literal-Based MCS Extraction
    Carlos Mencı́a , Alessandro Previti , and João Marques-Silva
    In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 , 2015
  9. Prime Compilation of Non-Clausal Formulae
    Alessandro Previti , Alexey Ignatiev , António Morgado , and 1 more author
    In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 , 2015
  10. Efficient Axiom Pinpointing with EL2MCS
    M. Fareed Arif , Carlos Mencı́a , and João Marques-Silva
    In KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings , 2015
  11. Computing Maximal Autarkies with Few and Simple Oracle Queries
    Oliver Kullmann , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings , 2015
  12. SAT-Based Formula Simplification
    Alexey Ignatiev , Alessandro Previti , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings , 2015
  13. Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
    M. Fareed Arif , Carlos Mencı́a , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings , 2015
  14. SAT-Based Horn Least Upper Bounds
    Carlos Mencı́a , Alessandro Previti , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings , 2015
  15. Towards Efficient Axiom Pinpointing of EL+ Ontologies
    M. Fareed Arif , and João Marques-Silva
    CoRR, 2015
  16. Computing maximal autarkies with few and simple oracle queries
    Oliver Kullmann , and João Marques-Silva
    CoRR, 2015
  17. Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
    M. Fareed Arif , Carlos Mencı́a , and João Marques-Silva
    CoRR, 2015

2014

  1. Algorithms for computing minimal equivalent subformulas
    Anton Belov , Mikolás Janota , Inês Lynce , and 1 more author
    Artif. Intell., 2014
  2. MSCG: Robust Core-Guided MaxSAT Solving
    António Morgado , Alexey Ignatiev , and João Marques-Silva
    J. Satisf. Boolean Model. Comput., 2014
  3. Core-Guided MaxSAT with Soft Cardinality Constraints
    António Morgado , Carmine Dodaro , and João Marques-Silva
    In Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings , 2014
  4. A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
    Yuri Malitsky , Barry O’Sullivan , Alessandro Previti , and 1 more author
    In Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings , 2014
  5. Progression in Maximum Satisfiability
    Alexey Ignatiev , António Morgado , Vasco M. Manquinho , and 2 more authors
    In ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) , 2014
  6. Efficient Autarkies
    João Marques-Silva , Alexey Ignatiev , António Morgado , and 2 more authors
    In ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) , 2014
  7. Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
    Yuri Malitsky , Barry O’Sullivan , Alessandro Previti , and 1 more author
    In ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) , 2014
  8. Towards efficient optimization in package management systems
    Alexey Ignatiev , Mikolás Janota , and João Marques-Silva
    In 36th International Conference on Software Engineering, ICSE ’14, Hyderabad, India - May 31 - June 07, 2014 , 2014
  9. Efficient Relaxations of Over-constrained CSPs
    Carlos Mencı́a , and João Marques-Silva
    In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014 , 2014
  10. Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
    Saı̈d Jabbour , João Marques-Silva , Lakhdar Sais , and 1 more author
    In Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings , 2014
  11. MUS Extraction Using Clausal Proofs
    Anton Belov , Marijn Heule , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings , 2014
  12. On Computing Preferred MUSes and MCSes
    João Marques-Silva , and Alessandro Previti
    In Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings , 2014
  13. On Reducing Maximum Independent Set to Minimum Satisfiability
    Alexey Ignatiev , António Morgado , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings , 2014
  14. Synthesizing Safe Bit-Precise Invariants
    Arie Gurfinkel , Anton Belov , and João Marques-Silva
    In Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings , 2014
  15. On lazy and eager interactive reconfiguration
    Mikolás Janota , Goetz Botterweck , and João Marques-Silva
    In The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS ’14, Sophia Antipolis, France, January 22-24, 2014 , 2014
  16. SAT Solvers
    João Marques-Silva , and Inês Lynce
    In Tractability: Practical Approaches to Hard Problems , 2014
  17. Computing Minimal Sets on Propositional Formulae I: Problems & Reductions
    João Marques-Silva , and Mikolás Janota
    CoRR, 2014
  18. On Minimal Corrections in ASP
    Mikolás Janota , and João Marques-Silva
    CoRR, 2014
  19. On the Query Complexity of Selecting Few Minimal Sets
    João Marques-Silva , and Mikolás Janota
    Electron. Colloquium Comput. Complex., 2014

2013

  1. Iterative and core-guided MaxSAT solving: A survey and assessment
    António Morgado , Federico Heras , Mark H. Liffiton , and 2 more authors
    Constraints An Int. J., 2013
  2. A Two-Variable Model for SAT-Based ATPG
    Huan Chen , and João Marques-Silva
    IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013
  3. Partial MUS Enumeration
    Alessandro Previti , and João Marques-Silva
    In Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA , 2013
  4. Minimal Sets over Monotone Predicates in Boolean Formulae
    João Marques-Silva , Mikolás Janota , and Anton Belov
    In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings , 2013
  5. Solving QBF with Free Variables
    William Klieber , Mikolás Janota , João Marques-Silva , and 1 more author
    In Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings , 2013
  6. Core minimization in SAT-based abstraction
    Anton Belov , Huan Chen , Alan Mishchenko , and 1 more author
    In Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013 , 2013
  7. Model-Guided Approaches for MaxSAT Solving
    António Morgado , Federico Heras , and João Marques-Silva
    In 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013, Herndon, VA, USA, November 4-6, 2013 , 2013
  8. On Computing Minimal Correction Subsets
    João Marques-Silva , Federico Heras , Mikolás Janota , and 2 more authors
    In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 , 2013
  9. SAT-Based Preprocessing for MaxSAT
    Anton Belov , António Morgado , and João Marques-Silva
    In Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings , 2013
  10. Maximal Falsifiability - Definitions, Algorithms, and Applications
    Alexey Ignatiev , António Morgado , Jordi Planes , and 1 more author
    In Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings , 2013
  11. On QBF Proofs and Preprocessing
    Mikolás Janota , Radu Grigore , and João Marques-Silva
    In Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings , 2013
  12. On Propositional QBF Expansions and Q-Resolution
    Mikolás Janota , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings , 2013
  13. Parallel MUS Extraction
    Anton Belov , Norbert Manthey , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings , 2013
  14. Quantified Maximum Satisfiability: - A Core-Guided Approach
    Alexey Ignatiev , Mikolás Janota , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings , 2013
  15. Formula Preprocessing in MUS Extraction
    Anton Belov , Matti Järvisalo , and João Marques-Silva
    In Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings , 2013
  16. SAT-based Preprocessing for MaxSAT (extended version)
    Anton Belov , António Morgado , and João Marques-Silva
    CoRR, 2013
  17. On QBF Proofs and Preprocessing
    Mikolás Janota , Radu Grigore , and João Marques-Silva
    CoRR, 2013
  18. On Propositional QBF Expansions and Q-Resolution
    Mikolás Janota , and João Marques-Silva
    Electron. Colloquium Comput. Complex., 2013

2012

  1. Towards efficient MUS extraction
    Anton Belov , Inês Lynce , and João Marques-Silva
    AI Commun., 2012
  2. Hybrid Incremental Algorithms for Boolean Satisfiability
    Florian Letombe , and João Marques-Silva
    Int. J. Artif. Intell. Tools, 2012
  3. TG-Pro: A SAT-based ATPG System
    Huan Chen , and João Marques-Silva
    J. Satisf. Boolean Model. Comput., 2012
  4. PackUp: Tools for Package Upgradability Solving
    Mikolás Janota , Inês Lynce , Vasco M. Manquinho , and 1 more author
    J. Satisf. Boolean Model. Comput., 2012
  5. MUSer2: An Efficient MUS Extractor
    Anton Belov , and João Marques-Silva
    J. Satisf. Boolean Model. Comput., 2012
  6. Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions
    João Marques-Silva
    J. Multiple Valued Log. Soft Comput., 2012
  7. SMT-Based Bounded Model Checking for Embedded ANSI-C Software
    Lucas C. Cordeiro , Bernd Fischer , and João Marques-Silva
    IEEE Trans. Software Eng., 2012
  8. An Empirical Study of Encodings for Group MaxSAT
    Federico Heras , António Morgado , and João Marques-Silva
    In Advances in Artificial Intelligence - 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings , 2012
  9. On Computing Minimal Equivalent Subformulas
    Anton Belov , Mikolás Janota , Inês Lynce , and 1 more author
    In Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings , 2012
  10. QBf-based boolean function bi-decomposition
    Huan Chen , Mikolás Janota , and João Marques-Silva
    In 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012 , 2012
  11. New & improved models for SAT-based bi-decomposition
    Huan Chen , and João Marques-Silva
    In Great Lakes Symposium on VLSI 2012, GLSVLSI’12, Salt Lake City, UT, USA, May 3-4, 2012 , 2012
  12. MaxSAT-Based MCS Enumeration
    António Morgado , Mark H. Liffiton , and João Marques-Silva
    In Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers , 2012
  13. Iterative SAT Solving for Minimum Satisfiability
    Federico Heras , António Morgado , Jordi Planes , and 1 more author
    In IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012 , 2012
  14. On Unit-Refutation Complete Formulae with Existentially Quantified Variables
    Lucas Bordeaux , Mikolás Janota , João Marques-Silva , and 1 more author
    In Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 , 2012
  15. Lower Bounds and Upper Bounds for MaxSAT
    Federico Heras , António Morgado , and João Marques-Silva
    In Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers , 2012
  16. Solving QBF with Counterexample Guided Refinement
    Mikolás Janota , William Klieber , João Marques-Silva , and 1 more author
    In Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings , 2012
  17. Improvements to Core-Guided Binary Search for MaxSAT
    António Morgado , Federico Heras , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings , 2012
  18. On Efficient Computation of Variable MUSes
    Anton Belov , Alexander Ivrii , Arie Matsliah , and 1 more author
    In Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings , 2012
  19. Knowledge Compilation with Empowerment
    Lucas Bordeaux , and João Marques-Silva
    In SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings , 2012
  20. Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality
    Anton Belov , and João Marques-Silva
    CoRR, 2012

2011

  1. Boolean lexicographic optimization: algorithms & applications
    João Marques-Silva , Josep Argelich , Ana Graça , and 1 more author
    Ann. Math. Artif. Intell., 2011
  2. Haplotype inference with pseudo-Boolean optimization
    Ana Graça , João Marques-Silva , Inês Lynce , and 1 more author
    Ann. Oper. Res., 2011
  3. Anatomy and Empirical Evaluation of Modern SAT Solvers
    Karem A. Sakallah , and João Marques-Silva
    Bull. EATCS, 2011
  4. Restoring CSP Satisfiability with MaxSAT
    Inês Lynce , and João Marques-Silva
    Fundam. Informaticae, 2011
  5. Core-Guided Binary Search Algorithms for Maximum Satisfiability
    Federico Heras , António Morgado , and João Marques-Silva
    In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011 , 2011
  6. On Deciding MUS Membership with QBF
    Mikolás Janota , and João Marques-Silva
    In Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings , 2011
  7. Accelerating MUS extraction with recursive model rotation
    Anton Belov , and João Marques-Silva
    In International Conference on Formal Methods in Computer-Aided Design, FMCAD ’11, Austin, TX, USA, October 30 - November 02, 2011 , 2011
  8. On Validating Boolean Optimizers
    António Morgado , and João Marques-Silva
    In IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011 , 2011
  9. Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms
    Federico Heras , and João Marques-Silva
    In IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011 , 2011
  10. cmMUS: A Tool for Circumscription-Based MUS Membership Testing
    Mikolás Janota , and João Marques-Silva
    In Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings , 2011
  11. Minimally Unsatisfiable Boolean Circuits
    Anton Belov , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings , 2011
  12. On Improving MUS Extraction Algorithms
    João Marques-Silva , and Inês Lynce
    In Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings , 2011
  13. Abstraction-Based Algorithm for 2QBF
    Mikolás Janota , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings , 2011
  14. Empirical Study of the Anatomy of Modern Sat Solvers
    Hadi Katebi , Karem A. Sakallah , and João P. Marques Silva
    In Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings , 2011
  15. Improvements to Satisfiability-Based Boolean Function Bi-Decomposition
    Huan Chen , and João Marques-Silva
    In VLSI-SoC: Advanced Research for Systems on Chip - 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers , 2011
  16. Improvements to satisfiability-based boolean function bi-decomposition
    Huan Chen , and João Marques-Silva
    In IEEE/IFIP 19th International Conference on VLSI and System-on-Chip, VLSI-SoC 2011, Kowloon, Hong Kong, China, October 3-5, 2011 , 2011
  17. Lazy Decomposition for Distributed Decision Procedures
    Youssef Hamadi , João Marques-Silva , and Christoph M. Wintersteiger
    In Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011 , 2011
  18. Haplotype Inference Using Propositional Satisfiability
    Ana Graça , João Marques-Silva , and Inês Lynce
    In Mathematical Approaches to Polymer Sequence Analysis and Related Problems , 2011
  19. On Validating Boolean Optimizers
    António Morgado , and João Marques-Silva
    CoRR, 2011
  20. QBF-Based Boolean Function Bi-Decomposition
    Huan Chen , Mikolás Janota , and João Marques-Silva
    CoRR, 2011

2010

  1. Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
    António Morgado , and João Marques-Silva
    Fundam. Informaticae, 2010
  2. Haplotype Inference by Pure Parsimony: A Survey
    Ana Graça , Inês Lynce , João Marques-Silva , and 1 more author
    J. Comput. Biol., 2010
  3. Automated Design Debugging With Maximum Satisfiability
    Yibin Chen , Sean Safarpour , João Marques-Silva , and 1 more author
    IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010
  4. Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information
    Ana Graça , Inês Lynce , João Marques-Silva , and 1 more author
    In Algebraic and Numeric Biology - 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers , 2010
  5. Boolean Lexicographic Optimization
    João Marques-Silva , Josep Argelich , Ana Graça , and 1 more author
    In Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010 , 2010
  6. On Computing Backbones of Propositional Theories
    João Marques-Silva , Mikolás Janota , and Inês Lynce
    In ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings , 2010
  7. Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
    Lucas C. Cordeiro , Bernd Fischer , and João Marques-Silva
    In 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010 , 2010
  8. Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking
    Ashish Darbari , Bernd Fischer , and João Marques-Silva
    In Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings , 2010
  9. Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper)
    João Marques-Silva
    In 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010 , 2010
  10. Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
    Mikolás Janota , Radu Grigore , and João Marques-Silva
    In Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings , 2010
  11. How to Complete an Interactive Configuration Process?
    Mikolás Janota , Goetz Botterweck , Radu Grigore , and 1 more author
    In SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings , 2010
  12. Solving Linux Upgradeability Problems Using Boolean Optimization
    Josep Argelich , Daniel Le Berre , Inês Lynce , and 2 more authors
    In Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010 , 2010
  13. Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
    Mikolás Janota , João Marques-Silva , and Radu Grigore
    CoRR, 2010

2009

  1. A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
    Mark H. Liffiton , Maher N. Mneimneh , Inês Lynce , and 3 more authors
    Constraints An Int. J., 2009
  2. Restoring CSP Satisfiability with MaxSAT
    Inês Lynce , and João Marques-Silva
    In Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009 , 2009
  3. Spatial and temporal design debug using partial MaxSAT
    Yibin Chen , Sean Safarpour , Andreas G. Veneris , and 1 more author
    In Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009 , 2009
  4. TG-PRO: A new model for SAT-based ATPG
    Huan Chen , and João Marques-Silva
    In IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009 , 2009
  5. Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
    Lucas C. Cordeiro , Bernd Fischer , Huan Chen , and 1 more author
    In International Conference on Embedded Software and Systems, ICESS ’09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009 , 2009
  6. A Lazy Unbounded Model Checker for Event-B
    Paulo J. Matos , Bernd Fischer , and João Marques-Silva
    In Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings , 2009
  7. On Solving Boolean Multilevel Optimization Problemse
    Josep Argelich , Inês Lynce , and João Marques-Silva
    In IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009 , 2009
  8. SMT-Based Bounded Model Checking for Embedded ANSI-C Software
    Lucas C. Cordeiro , Bernd Fischer , and João Marques-Silva
    In ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009 , 2009
  9. Algorithms for Weighted Boolean Optimization
    Vasco M. Manquinho , João Marques-Silva , and Jordi Planes
    In Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings , 2009
  10. Conflict-Driven Clause Learning SAT Solvers
    João Marques-Silva , Inês Lynce , and Sharad Malik
    In Handbook of Satisfiability , 2009
  11. Algorithms for Weighted Boolean Optimization
    Vasco M. Manquinho , João Marques-Silva , and Jordi Planes
    CoRR, 2009
  12. On Solving Boolean Multilevel Optimization Problems
    Josep Argelich , Inês Lynce , and João Marques-Silva
    CoRR, 2009
  13. SMT-Based Bounded Model Checking for Embedded ANSI-C Software
    Lucas C. Cordeiro , Bernd Fischer , and João Marques-Silva
    CoRR, 2009
  14. Algorithms for finding dispensable variables
    Mikolás Janota , João Marques-Silva , and Radu Grigore
    CoRR, 2009
  15. How to Complete an Interactive Configuration Process?
    Mikolás Janota , Goetz Botterweck , Radu Grigore , and 1 more author
    CoRR, 2009
  16. Industrial-Strength Formally Certified SAT Solving
    Ashish Darbari , Bernd Fischer , and João Marques-Silva
    CoRR, 2009
  17. Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking
    Lucas C. Cordeiro , Bernd Fischer , and João Marques-Silva
    CoRR, 2009

2008

  1. Boosting Haplotype Inference with Local Search
    Inês Lynce , João Marques-Silva , and Steve Prestwich
    Constraints An Int. J., 2008
  2. Haplotype Inference with Boolean Satisfiability
    Inês Lynce , and João Marques-Silva
    Int. J. Artif. Intell. Tools, 2008
  3. Model checking with Boolean Satisfiability
    João Marques-Silva
    J. Algorithms, 2008
  4. Model Checking Event-B by Encoding into Alloy
    Paulo J. Matos , and João Marques-Silva
    In Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings , 2008
  5. Efficient Haplotype Inference with Combined CP and OR Techniques
    Ana Graça , João Marques-Silva , Inês Lynce , and 1 more author
    In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings , 2008
  6. Algorithms for Maximum Satisfiability using Unsatisfiable Cores
    João Marques-Silva , and Jordi Planes
    In Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008 , 2008
  7. A MAX-SAT Algorithm Portfolio
    Paulo J. Matos , Jordi Planes , Florian Letombe , and 1 more author
    In ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings , 2008
  8. On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization
    Federico Heras , Vasco M. Manquinho , and João Marques-Silva
    In Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA , 2008
  9. Haplotype Inference with Boolean Constraint Solving: An Overview
    Inês Lynce , Ana Graça , João Marques-Silva , and 1 more author
    In 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1 , 2008
  10. Symmetry Breaking for Maximum Satisfiability
    João Marques-Silva , Inês Lynce , and Vasco M. Manquinho
    In Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings , 2008
  11. Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
    António Morgado , and João Marques-Silva
    In Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008 , 2008
  12. Improvements to Hybrid Incremental SAT Algorithms
    Florian Letombe , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings , 2008
  13. Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms
    João Marques-Silva , and Vasco M. Manquinho
    In Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings , 2008
  14. Backtracking
    Inês Lynce , Vasco M. Manquinho , and João Marques-Silva
    In Wiley Encyclopedia of Computer Science and Engineering , 2008
  15. Symmetry Breaking for Maximum Satisfiability
    João Marques-Silva , Inês Lynce , and Vasco M. Manquinho
    CoRR, 2008
  16. A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem
    António Morgado , and João Marques-Silva
    CoRR, 2008
  17. Model Checking Event-B by Encoding into Alloy
    Paulo J. Matos , and João Marques-Silva
    CoRR, 2008

2007

  1. Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing
    João Marques-Silva , Karem A. Sakallah , and Inês Lynce
    AI Mag., 2007
  2. Random backtracking in backtrack search algorithms for satisfiability
    Inês Lynce , and João Marques-Silva
    Discret. Appl. Math., 2007
  3. Efficient Haplotype Inference with Pseudo-boolean Optimization
    Ana Graça , João Marques-Silva , Inês Lynce , and 1 more author
    In Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings , 2007
  4. Towards Robust CNF Encodings of Cardinality Constraints
    João Marques-Silva , and Inês Lynce
    In Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings , 2007
  5. Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection
    João Marques-Silva , Inês Lynce , Ana Graça , and 1 more author
    In Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings , 2007
  6. Towards Equivalence Checking Between TLM and RTL Models
    Nicola Bombieri , Franco Fummi , Graziano Pravadelli , and 1 more author
    In 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France , 2007
  7. Breaking Symmetries in SAT Matrix Models
    Inês Lynce , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings , 2007
  8. Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings
    2007
  9. On Using Unsatisfiability for Solving Maximum Satisfiability
    João Marques-Silva , and Jordi Planes
    CoRR, 2007

2006

  1. On Using Cutting Planes in Pseudo-Boolean Optimization
    Vasco M. Manquinho , and João Marques-Silva
    J. Satisf. Boolean Model. Comput., 2006
  2. Efficient Haplotype Inference with Boolean Satisfiability
    Inês Lynce , and João Marques-Silva
    In Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA , 2006
  3. Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel
    Oliver Kullmann , Inês Lynce , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings , 2006
  4. SAT in Bioinformatics: Making the Case with Haplotype Inference
    Inês Lynce , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings , 2006
  5. Counting Models in Integer Domains
    António Morgado , Paulo J. Matos , Vasco M. Manquinho , and 1 more author
    In Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings , 2006
  6. Interpolant Learning and Reuse in SAT-Based Model Checking
    João Marques-Silva
    In Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006 , 2006

2005

  1. Efficient data structures for backtrack search SAT solvers
    Inês Lynce , and João Marques-Silva
    Ann. Math. Artif. Intell., 2005
  2. Heuristic-Based Backtracking Relaxation for Propositional Satisfiability
    Ateet Bhalla , Inês Lynce , José T. Sousa , and 1 more author
    J. Autom. Reason., 2005
  3. Improvements to the Implementation of Interpolant-Based Model Checking
    João Marques-Silva
    In Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings , 2005
  4. Effective Lower Bounding Techniques for Pseudo-Boolean Optimization
    Vasco M. Manquinho , and João Marques-Silva
    In 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany , 2005
  5. Good Learning and Implicit Model Enumeration
    António Morgado , and João Marques-Silva
    In 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China , 2005
  6. Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts
    Vasco M. Manquinho , and João Marques-Silva
    In 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China , 2005
  7. On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization
    Vasco M. Manquinho , and João Marques-Silva
    In Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings , 2005
  8. A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas
    Maher N. Mneimneh , Inês Lynce , Zaher S. Andraus , and 2 more authors
    In Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings , 2005

2004

  1. Satisfiability-Based Algorithms for Boolean Optimization
    Vasco M. Manquinho , and João P. Marques Silva
    Ann. Math. Artif. Intell., 2004
  2. Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study
    Inês Lynce , and João Marques-Silva
    In 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA , 2004
  3. Integration of Lower Bound Estimates in Pseudo-Boolean Optimization
    Vasco M. Manquinho , and João Marques-Silva
    In 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA , 2004
  4. Using Rewarding Mechanisms for Improving Branching Heuristics
    Elsa Carvalho , and João Marques-Silva
    In SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings , 2004
  5. On Computing Minimum Unsatisfiable Cores
    Inês Lynce , and João Marques-Silva
    In SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings , 2004
  6. Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization
    Vasco M. Manquinho , and João Marques-Silva
    In SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings , 2004

2003

  1. An Overview of Backtrack Search Satisfiability Algorithms
    Inês Lynce , and João P. Marques Silva
    Ann. Math. Artif. Intell., 2003
  2. Solving Satisfiability in Combinational Circuits
    João Marques-Silva , and Luı́s Guerra Silva
    IEEE Des. Test Comput., 2003
  3. Heuristic-Based Backtracking for Propositional Satisfiability
    Ateet Bhalla , Inês Lynce , José T. Sousa , and 1 more author
    In Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings , 2003
  4. Probing-Based Preprocessing Techniques for Propositional Satisfiability
    Inês Lynce , and João Marques-Silva
    In 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 3-5 November 2003, Sacramento, California, USA , 2003
  5. Heuristic Backtracking Algorithms for SAT
    Ateet Bhalla , Inês Lynce , José T. Sousa , and 1 more author
    In Fourth International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV 2003), May 29-30, 2003, Hyatt Town Lake Hotel, Austin, Texas, USA , 2003

2002

  1. Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem
    Vasco M. Manquinho , and João P. Marques Silva
    IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002
  2. Satisfiability models and algorithms for circuit delay computation
    Luı́s Guerra Silva , João Marques-Silva , Luı́s Miguel Silveira , and 1 more author
    ACM Trans. Design Autom. Electr. Syst., 2002
  3. The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms
    Inês Lynce , and João Marques-Silva
    In Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers , 2002
  4. Tuning Randomization in Backtrack Search SAT Algorithms
    Inês Lynce , and João Marques-Silva
    In Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings , 2002
  5. Building State-of-the-Art SAT Solvers
    Inês Lynce , and João Marques-Silva
    In Proceedings of the 15th European Conference on Artificial Intelligence, ECAI’2002, Lyon, France, July 2002 , 2002

2001

  1. Stochastic Systematic Search Algorithms for Satisfiability
    Inês Lynce , Luı́s Baptista , and João Marques-Silva
    Electron. Notes Discret. Math., 2001
  2. Efficient Algorithms for the Inference of Minimum Size DFAs
    Arlindo L. Oliveira , and João P. Marques Silva
    Mach. Learn., 2001
  3. An exact solution to the minimum size test pattern problem
    Paulo F. Flores , Horácio C. Neto , and João P. Marques Silva
    ACM Trans. Design Autom. Electr. Syst., 2001
  4. Improving SAT Algorithms by Using Search Pruning Techniques
    Inês Lynce , and João Marques-Silva
    In Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings , 2001
  5. Towards Provably Complete Stochastic Search Algorithms for Satisfiability
    Inês Lynce , Luı́s Baptista , and João Marques-Silva
    In Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings , 2001

2000

  1. On Solving Boolean Optimization with Satisfiability-Based Algorithms
    Vasco M. Manquinho , and João Marques-Silva
    In International Symposium on Artificial Intelligence and Mathematics, AI&M 2000, Fort Lauderdale, Florida, USA, January 5-7, 2000 , 2000
  2. Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation
    João Marques-Silva , and Karem A. Sakallah
    In Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings , 2000
  3. Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability
    Luı́s Baptista , and João Marques-Silva
    In Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings , 2000
  4. Algebraic Simplification Techniques for Propositional Satisfiability
    João Marques-Silva
    In Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings , 2000
  5. Boolean satisfiability in electronic design automation
    João P. Marques Silva , and Karem A. Sakallah
    In Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000 , 2000
  6. On Using Satisfiability-Based Pruning Techniques in Covering Algorithms
    Vasco M. Manquinho , and João Marques-Silva
    In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France , 2000
  7. On Applying Incremental Satisfiability to Delay Fault Testing
    Joonyoung Kim , Jesse Whittemore , Karem A. Sakallah , and 1 more author
    In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France , 2000
  8. An Experimental Study of Satisfiability Search Heuristics
    Karem A. Sakallah , Fadi A. Aloul , and João P. Marques Silva
    In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France , 2000
  9. Search Pruning Conditions for Boolean Optimization
    Vasco M. Manquinho , and João Marques-Silva
    In ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000 , 2000

1999

  1. GRASP: A Search Algorithm for Propositional Satisfiability
    João P. Marques Silva , and Karem A. Sakallah
    IEEE Trans. Computers, 1999
  2. Combinational Equivalence Checking Using Satisfiability and Recursive Learning
    João Marques-Silva , and Thomas Glass
    In 1999 Design, Automation and Test in Europe (DATE ’99), 9-12 March 1999, Munich, Germany , 1999
  3. Algorithms for Solving Boolean Satisfiability in Combinational Circuits
    Luı́s Guerra Silva , Luı́s Miguel Silveira , and João Marques-Silva
    In 1999 Design, Automation and Test in Europe (DATE ’99), 9-12 March 1999, Munich, Germany , 1999
  4. The Impact of Branching Heuristics in Propositional Satisfiability Algorithms
    João Marques-Silva
    In Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA ’99, Évora, Portugal, September 21-24, 1999, Proceedings , 1999
  5. On Applying Set Covering Models to Test Set Compaction
    Paulo F. Flores , Horácio C. Neto , and João P. Marques Silva
    In 9th Great Lakes Symposium on VLSI (GLS-VLSI ’99), 4-6 March 1999, Ann Arbor, MI, USA , 1999
  6. Satisfiability-Based Functional Delay Fault Testing
    Joonyoung Kim , João Marques-Silva , and Karem A. Sakallah
    In VLSI: Systems on a Chip, IFIP TC10/WG10.5 Tenth International Conference on Very Large Scale Integration (VLSI ’99), December 1-4, 1999, Lisbon, Portugal , 1999
  7. Test pattern generation for width compression in BIST
    Paulo F. Flores , Horácio C. Neto , Krishnendu Chakrabarty , and 1 more author
    In Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999 , 1999
  8. Assignment and Reordering of Incompletely Specified Pattern Sequences Targetting Minimum Power Dissipation
    Paulo F. Flores , José C. Costa , Horácio C. Neto , and 2 more authors
    In 12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India , 1999

1998

  1. Integer Programming Models for Optimization Problems in Test Generation
    João P. Marques Silva
    In Proceedings of the ASP-DAC ’98, Asia and South Pacific Design Automation Conference 1998, Pacifico Yokohama, Yokohama, Japan, February 10-13, 1998 , 1998
  2. An exact solution to the minimum size test pattern problem
    Paulo F. Flores , Horácio C. Neto , and João P. Marques Silva
    In International Conference on Computer Design: VLSI in Computers and Processors, ICCD 1998, Proceedings, 5-7 October, 1998, Austin, TX, USA , 1998
  3. Timing analysis using propositional satisfiability
    Luı́s Guerra Silva , João P. Marques Silva , Luı́s Miguel Silveira , and 1 more author
    In 5th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1998, Surfing the Waves of Science and Technology, Lisbon, Portugal, September 7-10, 1998 , 1998
  4. Efficient Search Techniques for the Inference of Minimum Size Finite Automata
    Arlindo L. Oliveira , and João P. Marques Silva
    In String Processing and Information Retrieval: A South American Symposium, SPIRE 1998, Santa Cruz de la Sierra Bolivia, September 9-11, 1998 , 1998

1997

  1. Robust Search Algorithms for Test Pattern Generation
    João P. Marques Silva , and Karem A. Sakallah
    In Digest of Papers: FTCS-27, The Twenty-Seventh Annual International Symposium on Fault-Tolerant Computing, Seattle, Washington, USA, June 24-27, 1997 , 1997
  2. Prime Implicant Computation Using Satisfiability Algorithms
    Vasco M. Manquinho , Paulo F. Flores , João P. Marques Silva , and 1 more author
    In 9th International Conference on Tools with Artificial Intelligence, ICTAI ’97, Newport Beach, CA, USA, November 3-8, 1997 , 1997

1996

  1. Ravel-XL: a hardware accelerator for assigned-delay compiled-code logic gate simulation
    Michael A. Riepe , João P. Marques Silva , Karem A. Sakallah , and 1 more author
    IEEE Trans. Very Large Scale Integr. Syst., 1996
  2. GRASP - a new search algorithm for satisfiability
    João P. Marques Silva , and Karem A. Sakallah
    In Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996 , 1996
  3. Conflict Analysis in Search Algorithms for Satisfiability
    João P. Marques Silva , and Karem A. Sakallah
    In Eigth International Conference on Tools with Artificial Intelligence, ICTAI ’96, Toulouse, France, November 16-19, 1996 , 1996

1994

  1. Dynamic Search-Space Pruning Techniques in Path Sensitization
    João P. Marques Silva , and Karem A. Sakallah
    In Proceedings of the 31st Conference on Design Automation, San Diego, California, USA, June 6-10, 1994 , 1994
  2. Efficient and Robust Test Generation-Based Timing Analysis
    João P. Marques Silva , and Karem A. Sakallah
    In 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30 - June 2, 1994 , 1994

1993

  1. Concurrent path sensitization in timing analysis
    João P. Marques Silva , and Karem A. Sakallah
    In Proceedings of the European Design Automation Conference 1993, EURO-DAC ’93 with EURO-VHDL’93, Hamburg, Germany, September 20-24, 1993 , 1993
  2. An Analysis of Path Sensitization Criteria
    João P. Marques Silva , and Karem A. Sakallah
    In Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, ICCD ’93, Cambridge, MA, USA, October 3-6, 1993 , 1993
  3. Ravel-XL: A Hardware Accelerator for Assigned-Delay Compiled-Code Logic Gate Simulation
    Michael A. Riepe , João P. Marques Silva , Karem A. Sakallah , and 1 more author
    In Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, ICCD ’93, Cambridge, MA, USA, October 3-6, 1993 , 1993

1991

  1. FPD - An Environment for Exact Timing Analysis
    João P. Marques Silva , Karem A. Sakallah , and Luı́s M. Vidigal
    In 1991 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1993, Santa Clara, CA, USA, November 11-14, 1991. Digest of Technical Papers , 1991