Vol-1658⫷ Vol-1659 ⫸Vol-1660
urn:nbn:de:0074-1659-0


None⫷None⫸None
Guillermo De Ita LunaJosé Raymundo Marcial-RomeroJosé Antonio Hernández Servín

The incremental satisfiability problem for a two conjunctive normal form