Search the dblp DataBase
Vilhelm Dahllöf :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Vilhelm Dahllöf Algorithms for Max Hamming Exact Satisfiability. [Citation Graph (0, 0)][DBLP ] ISAAC, 2005, pp:829-838 [Conf ] Vilhelm Dahllöf Applications of General Exact Satisfiability in Propositional Logic Modelling. [Citation Graph (0, 0)][DBLP ] LPAR, 2004, pp:95-109 [Conf ] 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 ] 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 ] 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 ] 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 ] Algorithms for Max Hamming Exact Satisfiability [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.003secs