Applications: Methodology

Combinatorial

Task SAT Encoding SAT Solver

Decoder

Shift work to “encoding phase’’,

use fast, off-the-shelf SAT solver and tools.

Previous slide

Next slide

Back to first slide

View graphic version