Vol-1286⫷ Vol-1287 ⫸Vol-1288
urn:nbn:de:0074-1287-0


Vol-1287/lanmr2014_paper_1⫷Vol-1287/lanmr2014_paper_2⫸Vol-1287/lanmr2014_paper_3
José Raymundo Marcial-RomeroMaria del Pilar Pozos ParraGuillermo De Ita Luna

Counting Falsifying Assignments of Conjunctive Forms Using Binary Patterns