Vol-2649⫷ Vol-2650 ⫸Vol-2651
urn:nbn:de:0074-2650-0


Vol-2650/paper2⫷Vol-2650/paper3⫸Vol-2650/paper4
Tamás BallaCsaba BiróGábor Kusper

The BWConverter Toolchain: An Incomplete Way to Convert SAT Problems into Directed Graphs