scientific article; zbMATH DE number 2119675
From MaRDI portal
Publication:4828946
zbMath1093.68678MaRDI QIDQ4828946
Vilhelm Dahllöf, Peter Jonsson
Publication date: 29 November 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Algorithms for four variants of the exact satisfiability problem, Linear-programming design and analysis of fast algorithms for Max 2-CSP, On independent sets and bicliques in graphs, Exact algorithms for maximum weighted independent set on sparse graphs (extended abstract), On variable-weighted exact satisfiability problems, Independent sets in graphs, Exact algorithms for minimum weighted dominating induced matching, Counting models for 2SAT and 3SAT formulae, Exponential Time Complexity of Weighted Counting of Independent Sets