Pre-processing in Boolean satisfiability using bounded (2,k) : consistency on regions with locally difficult constraint setup /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Praha :
Institut teoretické informatiky,
2011
|
| Edice: | ITI Series ;
2011-537 |
| Témata: |
| Fyzický popis: | 40 s. |
|---|---|
| Bibliografie: | Obsahuje bibliografii (s. 37-40) |