Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Ku{\v{c}}era, Petr"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A decomposition method for CNF minimality proofs
Endre Boros
,
Ondȓej C̑epek
,
Petr Kuc̑era
Theoretical Computer Science
510
, 2013, pp. 111-126
Boolean functions with long prime implicants
Ondȓej C̑epek
,
Petr Kuc̑era
,
Stanislav Kuȓík
Information Processing Letters
113
(19-21), 2013, pp. 698-703