Oliver Kullmann. Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Springer.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Chicago-čujuhus (17. p.)
Oliver Kullmann. Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Berlín, Alemania: Springer.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
MLA-čujuhus (9. p.)
Oliver Kullmann. Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Springer.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.