| Tartalom: |
http://easychair.org/publications/?page=2048414429 |
| Archívum: |
MTA Könyvtár |
| Gyűjtemény: |
Status = Published
Type = Conference or Workshop Item
|
| Cím: |
Formula partitioning revisited
|
| Létrehozó: |
Mann, Zoltán Ádám
Papp, Pál András
|
| Dátum: |
2014
|
| Téma: |
QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
QA76 Computer software / programozás
|
| Típus: |
Conference or Workshop Item
PeerReviewed
|
| Formátum: |
text
|
| Azonosító: |
Mann, Zoltán Ádám and Papp, Pál András (2014) Formula partitioning revisited. In: 5th Pragmatics of SAT Workshop (POS-14), 2014.07.13-2014.07.13, Bécs.
|
| Kapcsolat: |
|
