Guillermo De Ita Luna, José Raymundo Marcial-Romero, J. A. Hernández. The incremental satisfiability problem for a two conjunctive normal form. In Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Iván Olmos Pineda, editors, Proceedings of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016. Volume 1659 of CEUR Workshop Proceedings, pages 25-32, CEUR-WS.org, 2016. [doi]
Abstract is missing.