Karem Sakallah
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Roadmap for the Next Phase of SAT Research | Satisfiability: Theory, Practice, and Beyond 2023 | 2023-04-17 |
Argues CDCL’s power comes from combining conflict-driven learning with conflict-driven branching, conjectures that many human-created CNF encodings have… | ||
| On Symmetry and Quantification: A New Approach to Verify Distributed Protocols | 50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing | 2021-02-11 |
Claims that symmetry→quantification yields compact, automatically derived inductive invariants for unbounded parameterized protocols, implemented as an IC3… | ||
| nothing matches | ||