Clemens Eisenhofer
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Laura Kovácsonce
- Nikolaj Bjørneronce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Satisfiability Modulo Custom Theories in Z3 (Tool Paper) | VMCAI 2023 | 2023-01-15 |
Z3 adds user-propagators: an API to register ground terms and attach callbacks (fixed, equality, instantiate, final) written in C++/Python that can emit… | ||
| nothing matches | ||