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.
|
Text
Mann_Papp_POS_2014.pdf Download (288kB) | Preview |
Official URL: http://easychair.org/publications/?page=2048414429
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 19 Sep 2015 19:25 |
| Last Modified: | 19 Sep 2015 19:25 |
| URI: | http://real.mtak.hu/id/eprint/26984 |
Actions (login required)
 |
Edit Item |
