Vol-2263⫷ Vol-2264 ⫸Vol-2265
urn:nbn:de:0074-2264-0


None⫷None⫸None
Guillermo De Ita LunaPedro Bello LópezMiguel Rodríguez 0001

The computation of #2SAT by a fixed-parameter tractable algorithm