| Original language | Undefined/Unknown |
|---|---|
| Publication status | Published - 2006 |
The Link between r-contiguous Detectors and k-CNF Satisfiability
T. Stibor, J. Timmis, C. Eckert
Research output: Contribution to conference › Other
T. Stibor, J. Timmis, C. Eckert
Research output: Contribution to conference › Other
| Original language | Undefined/Unknown |
|---|---|
| Publication status | Published - 2006 |