Moshe Vardi
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Geguang Puonce
- Jianwen Lionce
- Ofer Strichmanonce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Model-Guided Synthesis for LTL over Finite Traces | VMCAI 2024 | 2024-01-15 |
MoGuS repeatedly invokes an LTLf satisfiability checker to get concrete satisfying traces, uses formula-progression to generate TDFA states on the fly, and… | ||
| Progress in Symbolic Satisfiability Solving | 50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing | 2021-02-11 |
Field-wide claim: CDCL remains the single algorithmic backbone, tied to resolution (the weakest proof system) despite scaling SAT to industrial instances with… | ||
| Constrained Sampling and Counting | Uncertainty in Computation 2016 | 2016-10-04 |
Describes an implementation that turns universal hashing plus XOR constraints into a practical sampler and counter: uses Crypt minisat to handle CNF+XOR… | ||
| SAT Counting and Sampling -- From Theory to Practice | Approximate Counting, Markov Chains and Phase Transitions | 2016-02-22 |
Moshe Vardi, Rice University
Approximate Counting, Markov Chains and Phase Transitions
https://simons.berkeley.edu/talks/moshe-vardi-02-23-2016 | ||
| nothing matches | ||