Reducing SAT to 2-SAT
| dc.creator | Gubin, Sergey | |
| dc.date | 2007-04-01 | |
| dc.date.accessioned | 2026-07-07T07:54:21Z | |
| dc.date.available | 2026-07-07T07:54:21Z | |
| dc.description | Description of a polynomial time reduction of SAT to 2-SAT of polynomial size. | |
| dc.description | 8 pages | |
| dc.identifier | https://arxiv.org/abs/0704.0108 | |
| dc.identifier | http://arxiv.org/abs/0704.0108 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/126571 | |
| dc.subject | Computational Complexity | |
| dc.subject | F.2.0; G.2.1; G.2.2 | |
| dc.title | Reducing SAT to 2-SAT | |
| dc.type | text |