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


None⫷None⫸None

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