1 citations · 3 across the 4 of their papers we have counts for
4 papers
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
Yacine Izza, Xuanxiang Huang, Antonio Morgado +3
The uses of machine learning (ML) have snowballed in recent years. In many cases, ML models are highly complex, and their operation is beyond the understanding of human decision-ma…
TestSelector: Automatic Test Suite Selection for Student Projects -- Extended Version
Filipe Marques, António Morgado, José Fragoso Santos +1
Computer Science course instructors routinely have to create comprehensive test suites to assess programming assignments. The creation of such test suites is typically not trivial…
SAT-based Preprocessing for MaxSAT (extended version)
Anton Belov, Antonio Morgado, Joao Marques-Silva
State-of-the-art algorithms for industrial instances of MaxSAT problem rely on iterative calls to a SAT solver. Preprocessing is crucial for the acceleration of SAT solving, and th…
On Validating Boolean Optimizers
Antonio Morgado, Joao Marques-Silva
Boolean optimization finds a wide range of application domains, that motivated a number of different organizations of Boolean optimizers since the mid 90s. Some of the most success…