Research elevator pitch
Jo Devriendt
PIGEONS
Research elevator pitch
Suppose you have to show that some NP-complete problem has no solution (UNSAT)...
- Combinatorial optimization
- Constraint translation
- Conflict-driven constraint learning
- Unsat core generation
- Symmetry
- Proof complexity
- Knowledge representation
- gitlab.com/JoD/exact
- jodevriendt.com/publications
How does a solver figure this out without enumerating all (functionally infinite) possibilities?
Research elevator pitch
By Jo Devriendt
