Research elevator pitch

Jo Devriendt

PIGEONS

Research elevator pitch

Suppose you have to show that some NP-complete problem has no solution (UNSAT)...

How does a solver figure this out without enumerating all (functionally infinite) possibilities?

Research elevator pitch

By Jo Devriendt

Research elevator pitch

  • 96