713 citations
- University of LisbonPT191 papers
- Instituto Superior TécnicoPT71 papers
- Centre National de la Recherche ScientifiqueFR51 papers
- University of OxfordGB35 papers
- Sorbonne UniversitéFR31 papers
- European Organization for Nuclear ResearchCH30 papers
- Université Grenoble AlpesFR28 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR26 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT26 papers
- University of PaduaIT26 papers
- Charles UniversityCZ25 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR25 papers
407 papers
SAT-based Encodings for Optimal Decision Trees with Explicit Paths
Mikoláš Janota, António Morgado
Decision trees play an important role both in Machine Learning and Knowledge Representation. They are attractive due to their immediate interpretability. In the spirit of Occam's r…
Solving QBF with Counterexample Guided Refinement
Mikoláš Janota, William Klieber, Joao Marques-Silva +1
We propose two novel approaches for using Counterexample-Guided Abstraction Refinement (CEGAR) in Quantified Boolean Formula (QBF) solvers. The first approach develops a recursive…
Solving QBF by Clause Selection
Mikoláš Janota, Joao Marques-Silva
Algorithms based on the enumeration of implicit hitting sets find a growing number of applications, which include maximum satisfiability and model based diagnosis, among others. Th…
What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework
Ricardo Brancas, Pedro Orvalho, Carolina Carreira +2
Automated feedback tools for logic programming education depend on realistic bug datasets that reflect the mistakes students actually make. However, existing mutation testing frame…
Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)
Raymond Hu, Julien Lange, Bernardo Toninho +3
Go's unique combination of structural subtyping between generics and types with non-uniform runtime representations presents significant challenges for formalising the language. We…
CARM Tool: Cache-Aware Roofline Model Automatic Benchmarking and Application Analysis
José Morgado, Leonel Sousa, Aleksandar Ilic
In recent years, HPC systems and CPU architectures as their central components, have become increasingly complex, making application development and optimization quite challenging.…