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
Hilfe
Suche: Author="Porschen, Stefan"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Counting all solutions of minimum weight exact satisfiability
Stefan Porschen
Lecture Notes in Computer Science
3998
, 2006, pp. 50-59
Solving minimum weight exact satisfiability in time
O(2^{0.2441n})
Stefan Porschen
Lecture Notes in Computer Science
3827
, 2005, pp. 654-664
Improving a fixed parameter tractability time bound for the shadow problem
Peter Heusch
,
Stefan Porschen
,
Ewald Speckenmeyer
Journal of Computer and System Sciences
67
(4), 2003, pp. 772-788