Ruben Martins
4 papers
· 2021–2025
· 3 conferences
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🌍
Conference Polyglot
(3)
🐝
Cross-Pollinator
(9)
🌉
Interdisciplinary Bridge
Conferences
NSDI (2)
AAAI (1)
IJCAI (1)
Top co-authors
Keywords
sat solver
(2)
automated reasoning
(1)
formal verification
(1)
cardinality constraint
(1)
online algorithm
(1)
safety verification
(1)
cutting plane
(1)
congestion control
(1)
network protocol
(1)
distributed system
(1)
performance guarantee
(1)
inductive invariant
(1)
pseudo-boolean solving
(1)
propositional satisfiability
(1)
literal ordering
(1)
constraint encoding
(1)
solver performance
(1)
conjunctive normal form
(1)
proof logging
(1)
paxos protocol
(1)