Investigation of binary representations of SAT especially 2-literal representation [abstract] /
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book part |
| Published: |
University of Szeged
Szeged
2002
|
| Series: | Conference of PhD Students in Computer Science
3 |
| Kulcsszavak: | Számítástechnika - előadáskivonat |
| Subjects: | |
| Online Access: | http://acta.bibl.u-szeged.hu/59686 |
| Physical Description: | 68 |
|---|