Vol-285⫷ Vol-286 ⫸Vol-287
urn:nbn:de:0074-286-0


Vol-286/paper-2⫷Vol-286/paper-3⫸Vol-286/paper-4

Efficient counting of models for boolean formulas represented by embedded cycles