Vilhelm Dahllf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2002–2005
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ISAAC | Algorithms for Max Hamming Exact Satisfiability. | Vilhelm Dahllf |
| 2004 | LPAR | Applications of General Exact Satisfiability in Propositional Logic Modelling. | Vilhelm Dahllf |
| 2002 | COCOON | Counting Satisfying Assignments in 2-SAT and 3-SAT. | Vilhelm Dahllf, Peter Jonsson, Magnus Wahlstrm |
| 2002 | MFCS | Finite Domain Constraint Satisfaction Using Quantum Computation. | Ola Angelsmark, Vilhelm Dahllf, Peter Jonsson |
| 2002 | SODA | An algorithm for counting maximum weighted independent sets and its applications. | Vilhelm Dahllf, Peter Jonsson |