 UpMax: User partitioning for MaxSATInternational Conference on Theory and Applications of Satisfiability Testing (SAT), 2023 |
 New Core-Guided and Hitting Set Algorithms for Multi-Objective
Combinatorial OptimizationInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022 |
 Recovering AES Keys with a Deep Cold Boot AttackInternational Conference on Machine Learning (ICML), 2021 |
 Incomplete MaxSAT Approaches for Combinatorial TestingJournal of Heuristics (JH), 2021 |
 Logic Tensor NetworksArtificial Intelligence (AI), 2020 |
 Joint Reasoning for Multi-Faceted Commonsense KnowledgeConference on Automated Knowledge Base Construction (AKBC), 2020 |
 Generalized Totalizer Encoding for Pseudo-Boolean ConstraintsInternational Conference on Principles and Practice of Constraint Programming (CP), 2015 |
 Incremental Cardinality Constraints for MaxSATInternational Conference on Principles and Practice of Constraint Programming (CP), 2014 |
 |
 Evolved preambles for MAX-SAT heuristicsInternational Joint Conference on Computational Intelligence (IJCCI), 2011 |
