Miguel Terra-Neves
5 papers · 2018–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (13) π Interdisciplinary Bridge π§ Keyword Pioneer π£ Hot Topic Early Bird π Conference Polyglot (2)
π
Academic Marathon
(6)
π
Cross-Pollinator
(12)
π
Trend Setter
π
Conference Pioneer
Conferences
IJCAI (3)
AAAI (2)
Top co-authors
Keywords
multi-objective optimization
(3)
combinatorial optimization
(3)
minimal correction subset
(2)
constraint satisfaction
(2)
graph isomorphism
(1)
evolutionary algorithm
(1)
sat solver
(1)
pareto front
(1)
bug detection
(1)
smt solver
(1)
constraint programming
(1)
constraint reasoning
(1)
mutation operator
(1)
pseudo-boolean constraint
(1)
maxsat solving
(1)
regular expression
(1)
sat-based algorithm
(1)
constraint-based algorithm
(1)
pattern matching
(1)
satisfiability modulo theories
(1)
Papers
SAT-Based Algorithms for Regular Graph Pattern Matching
AAAI 2024
Concurrency Debugging with MaxSMT
AAAI 2019
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
IJCAI 2019
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
IJCAI 2018
Multi-Objective Optimization Through Pareto Minimal Correction Subsets
IJCAI 2018