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="Dahll{\"o}f, Vilhelm"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Counting models for 2SAT and 3SAT formulae
Vilhelm Dahllöf
,
Peter Jonsson
,
Magnus Wahlström
Theoretical Computer Science
332
(1-3), 2005, pp. 265-291
Algorithms for max Hamming exact satisfiability
Vilhelm Dahllöf
Lecture Notes in Computer Science
3827
, 2005, pp. 829-838
Algorithms for four variants of the exact satisfiability problem
Vilhelm Dahllöf
,
Peter Jonsson
,
Richard Beigel
Theoretical Computer Science
320
(2-3), 2004, pp. 373-394
Finite domain constraint satisfaction using quantum computation
Ola Angelsmark
,
Vilhelm Dahllöf
,
Peter Jonsson
Lecture Notes in Computer Science
2420
, 2002, pp. 93-103
Counting satisfying assignments in 2-SAT and 3-SAT
Vilhelm Dahllöf
,
Peter Jonsson
,
Magnus Wahlström
Lecture Notes in Computer Science
2387
, 2002, pp. 535-543