Definition-Based Dependency Schemes.

David Kattermann, Clemens Hofstadler, Martina Seidl

Browse the full SAT paper archive.