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


None⫷None⫸None
Marco A. López MedinaGuillermo De Ita LunaJosé Antonio Hernández ServínJosé Raymundo Marcial-Romero

Model counting for #2SAT problem in outerplanar graphs