Vilhelm Dahllöf

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Linköping University, Sweden (PHD)

Education History

Linköping University, Sweden

PHD

Publications

Vilhelm Dahllöf
Algorithms for Max Hamming Exact Satisfiability. ISAAC (2005)
Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström
Counting models for 2SAT and 3SAT formulae. Theor. Comput. Sci. 332 (1-3) (2005)
Vilhelm Dahllöf
Algorithms for Max Hamming Exact Satisfiability CoRR (2005)
Vilhelm Dahllöf
Applications of General Exact Satisfiability in Propositional Logic Modelling. LPAR (2004)
Vilhelm Dahllöf, Peter Jonsson, Richard Beigel
Algorithms for four variants of the exact satisfiability problem. Theor. Comput. Sci. 320 (2-3) (2004)
Ola Angelsmark, Vilhelm Dahllöf, Peter Jonsson
Finite Domain Constraint Satisfaction Using Quantum Computation. MFCS (2002)
Vilhelm Dahllöf, Peter Jonsson
An algorithm for counting maximum weighted independent sets and its applications. SODA (2002)
Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström
Counting Satisfying Assignments in 2-SAT and 3-SAT. COCOON (2002)