Search the dblp DataBase

Publications of Author

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