Miguel Terra-Neves
5 papers · 2018–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Gold π Academic Marathon Β· Sprint πΊοΈ Taxonomy Completionist (12) π£ Hot Topic Early Bird π Conference Polyglot Β· Bronze
π
Conference Pioneer
π
Trend Setter
Top co-authors
Research topics
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
Multi-Objective Optimization Through Pareto Minimal Correction Subsets
IJCAI 2018
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
IJCAI 2018