SAT-Based Encodings for Optimal Decision Trees with Explicit Paths.

Mikols Janota, Antnio Morgado

Browse the full SAT paper archive.