Miguel Terra-Neves
5 papers
· 2018–2024
· 2 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
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
Concurrency Debugging with MaxSMT
AAAI 2019