Vol-450⫷ Vol-451 ⫸Vol-452
urn:nbn:de:0074-451-0


Vol-451/paper-7⫷Vol-451/paper-8⫸Vol-451/paper-9
Carlos GuillénGuillermo De Ita LunaAurelio López-López

Computing #2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean Formulas