Browsing by Subject 2-sat
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| - | The Incremental Satisfiability Problem for a Two Conjunctive Normal Form | GUILLERMO DE ITA LUNA ; JOSE RAYMUNDO MARCIAL ROMERO ; JOSE ANTONIO HERNANDEZ SERVIN |