An algorithm for counting maximum weighted independent sets and its applications
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
A deterministic (2 - 2/(k+ 1))n algorithm for k-SAT based on local search
Theoretical Computer Science
Deterministic Algorithms for k-SAT Based on Covering Codes and Local Search
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Counting Satisfying Assignments in 2-SAT and 3-SAT
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Determining the Number of Solutions to Binary CSP Instances
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Worst-case time bounds for coloring and satisfiability problems
Journal of Algorithms
Algorithms for four variants of the exact satisfiability problem
Theoretical Computer Science
Counting for Satisfiability by Inverting Resolution
Artificial Intelligence Review
An improved exponential-time algorithm for k-SAT
Journal of the ACM (JACM)
Counting models for 2SAT and 3SAT formulae
Theoretical Computer Science
New upper bound for the #3-SAT problem
Information Processing Letters
Algorithms for Counting 2-Sat Solutions and Colorings with Applications
AAIM '07 Proceedings of the 3rd international conference on Algorithmic Aspects in Information and Management
Solving #SAT and Bayesian inference with backtracking search
Journal of Artificial Intelligence Research
The good old Davis-Putnam procedure helps counting models
Journal of Artificial Intelligence Research
A tighter bound for counting max-weight solutions to 2SAT instances
IWPEC'08 Proceedings of the 3rd international conference on Parameterized and exact computation
Counting minimum weighted dominating sets
COCOON'07 Proceedings of the 13th annual international conference on Computing and Combinatorics
Exploiting independent subformulas: A faster approximation scheme for #k-SAT
Information Processing Letters
Hi-index | 5.23 |