Please use this identifier to cite or link to this item:
http://ri.uaemex.mx/handle20.500.11799/67669
DC Field | Value | Language |
---|---|---|
dc.contributor.author | GUILLERMO DE ITA LUNA | en_EU |
dc.contributor.author | JOSE RAYMUNDO MARCIAL ROMERO | en_EU |
dc.contributor.author | JOSE ANTONIO HERNANDEZ SERVIN | en_EU |
dc.creator | GUILLERMO DE ITA LUNA | - |
dc.creator | JOSE RAYMUNDO MARCIAL ROMERO | - |
dc.creator | JOSE ANTONIO HERNANDEZ SERVIN | - |
dc.date | 2016-01-01 | - |
dc.identifier | http://hdl.handle.net/20.500.11799/67669 | - |
dc.description | We propose a novel method to review K ⊢ φ when K and φ are both in Conjunctive Normal Forms (CF). We extend our method to solve the incremental satisfiablity problem (ISAT), and we present different cases where ISAT can be solved in polynomial time. Especially, we present an algorithm for 2-ISAT. Our last algorithm allow us to establish an upper bound for the time-complexity of 2-ISAT, as well as to establish some tractable cases for the 2-ISAT problem. | - |
dc.language | eng | - |
dc.publisher | ELSEVIER | - |
dc.relation | 328; | - |
dc.rights | info:eu-repo/semantics/openAccess | - |
dc.rights | http://creativecommons.org/licenses/by-nc-sa/4.0 | - |
dc.source | 1571-0661 | - |
dc.subject | satisfiability problem | - |
dc.subject | incremental satisfiability problem | - |
dc.subject | 2-sat | - |
dc.subject | entail propositional problem | - |
dc.subject | info:eu-repo/classification/cti/7 | - |
dc.title | The Incremental Satisfiability Problem for a Two Conjunctive Normal Form | - |
dc.type | article | - |
dc.audience | students | - |
dc.audience | researchers | - |
item.grantfulltext | none | - |
item.fulltext | No Fulltext | - |
Appears in Collections: | Producción |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.