REAL

Formula partitioning revisited

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.

[img]
Preview
Text
Mann_Papp_POS_2014.pdf

Download (288kB) | Preview
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 Edit Item