Ruben Martins
4 papers · 2021–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
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)
Papers
The Impact of Literal Sorting on Cardinality Constraint Encodings
AAAI 2025
Towards provably performant congestion control
NSDI 2024
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract).
IJCAI 2023
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All
NSDI 2021