A Hike in the Phases of the 1-in-3 Satisfiability
| dc.creator | Maneva, Elitza | |
| dc.creator | Meltzer, Talya | |
| dc.creator | Raymond, Jack | |
| dc.creator | Sportiello, Andrea | |
| dc.creator | Zdeborová, Lenka | |
| dc.date | 2007-02-18 | |
| dc.date.accessioned | 2026-07-07T07:47:27Z | |
| dc.date.available | 2026-07-07T07:47:27Z | |
| dc.description | We summarise our results for the random $ε$--1-in-3 satisfiability problem, where $ε$ is a probability of negation of the variable. We employ both rigorous and heuristic methods to describe the SAT/UNSAT and Hard/Easy transitions. | |
| dc.description | 2 pages, introductory level, proceed. for the Les Houches Session LXXXV 2006 on Complex Systems | |
| dc.identifier | https://arxiv.org/abs/cond-mat/0702421 | |
| dc.identifier | http://arxiv.org/abs/cond-mat/0702421 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/124170 | |
| dc.subject | Statistical Mechanics | |
| dc.subject | Disordered Systems and Neural Networks | |
| dc.subject | Computational Complexity | |
| dc.title | A Hike in the Phases of the 1-in-3 Satisfiability | |
| dc.type | text |