| |
| 2005 | ||
|---|---|---|
| 8 | EE | Vilhelm Dahllöf: Algorithms for Max Hamming Exact Satisfiability. ISAAC 2005: 829-838 |
| 7 | EE | Vilhelm Dahllöf: Algorithms for Max Hamming Exact Satisfiability CoRR abs/cs/0509038: (2005) |
| 6 | EE | 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 | EE | Vilhelm Dahllöf: Applications of General Exact Satisfiability in Propositional Logic Modelling. LPAR 2004: 95-109 |
| 4 | EE | 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 | EE | Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström: Counting Satisfying Assignments in 2-SAT and 3-SAT. COCOON 2002: 535-543 |
| 2 | EE | Ola Angelsmark, Vilhelm Dahllöf, Peter Jonsson: Finite Domain Constraint Satisfaction Using Quantum Computation. MFCS 2002: 93-103 |
| 1 | EE | Vilhelm Dahllöf, Peter Jonsson: An algorithm for counting maximum weighted independent sets and its applications. SODA 2002: 292-298 |
| 1 | Ola Angelsmark | [2] |
| 2 | Richard Beigel | [4] |
| 3 | Peter Jonsson | [1] [2] [3] [4] [6] |
| 4 | Magnus Wahlström | [3] [6] |