Vilhelm Dahllöf

	2005
8		Vilhelm Dahllöf: Algorithms for Max Hamming Exact Satisfiability. ISAAC 2005: 829-838
7		Vilhelm Dahllöf: Algorithms for Max Hamming Exact Satisfiability CoRR abs/cs/0509038: (2005)
6		Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström: Counting models for 2SAT and 3SAT formulae. Theor. Comput. Sci. 332(1-3): 265-291 (2005)
	2004
5		Vilhelm Dahllöf: Applications of General Exact Satisfiability in Propositional Logic Modelling. LPAR 2004: 95-109
4		Vilhelm Dahllöf, Peter Jonsson, Richard Beigel: Algorithms for four variants of the exact satisfiability problem. Theor. Comput. Sci. 320(2-3): 373-394 (2004)
	2002
3		Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström: Counting Satisfying Assignments in 2-SAT and 3-SAT. COCOON 2002: 535-543
2		Ola Angelsmark, Vilhelm Dahllöf, Peter Jonsson: Finite Domain Constraint Satisfaction Using Quantum Computation. MFCS 2002: 93-103
1		Vilhelm Dahllöf, Peter Jonsson: An algorithm for counting maximum weighted independent sets and its applications. SODA 2002: 292-298

Coauthor Index

1	Ola Angelsmark	[2]
2	Richard Beigel	[4]
3	Peter Jonsson	[1] [2] [3] [4] [6]
4	Magnus Wahlström	[3] [6]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page