conftrace_

Ruben Martins

4 papers · 2021–2025 · 3 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 ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze

Venues

NSDI (2) AAAI (1) IJCAI (1)

Top co-authors

Srinivasan Seshan (1) Min-Chien Hsu (1) Marijn Heule (1) Travis Hance (1) Anup Agarwal (1) Jakob Nordström (1) Andy Oertel (1) João Filipe (1) Joseph E. Reeves (1) Bryan Parno (1)

Research topics

Computer Science (3) Foundations (3) Knowledge & Reasoning (2) Mathematics & Optimization (2) Optimization (2) Reasoning (2) Systems (1)

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