Vol-1334⫷ Vol-1335 ⫸Vol-1336
urn:nbn:de:0074-1335-0


Vol-1335/wlp2014_paper1⫷Vol-1335/wlp2014_paper2⫸Vol-1335/wlp2014_paper3
Johannes WaldmannAlexander Bau

Describing and Measuring the Complexity of SAT encodings for Constraint Programs