On Efficient Fixed Parameter Algorithms for WEIGHTED VERTEX COVER
ISAAC '00 Proceedings of the 11th International Conference on Algorithms and Computation
Faster Fixed Parameter Tractable Algorithms for Undirected Feedback Vertex Set
ISAAC '02 Proceedings of the 13th International Symposium on Algorithms and Computation
Improved Exact Algorithms for MAX-SAT
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
An efficient fixed-parameter algorithm for 3-hitting set
Journal of Discrete Algorithms
Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT
Discrete Applied Mathematics - The renesse issue on satisfiability
Worst-case study of local search for MAX-k-SAT
Discrete Applied Mathematics - The renesse issue on satisfiability
MaxSolver: an efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence
Improving exact algorithms for MAX-2-SAT
Annals of Mathematics and Artificial Intelligence
A new algorithm for optimal 2-constraint satisfaction and its implications
Theoretical Computer Science - Automata, languages and programming: Algorithms and complexity (ICALP-A 2004)
Artificial Intelligence
A logical approach to efficient Max-SAT solving
Artificial Intelligence
An efficient solver for weighted Max-SAT
Journal of Global Optimization
A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Parameterizing above or below guaranteed values
Journal of Computer and System Sciences
A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
SOFIE: a self-organizing framework for information extraction
Proceedings of the 18th international conference on World wide web
Study of lower bound functions for MAX-2-SAT
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
New inference rules for Max-SAT
Journal of Artificial Intelligence Research
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Artificial Intelligence
A Max-SAT inference-based pre-processing for Max-clique
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
A new upper bound for Max-2-SAT: A graph-theoretic approach
Journal of Discrete Algorithms
Using learnt clauses in MAXSAT
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
A tighter upper bound for random MAX 2-SAT
Information Processing Letters
A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between
Journal of Computer and System Sciences
Measure and conquer: domination – a case study
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Improved exact solvers for weighted Max-SAT
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Parameterizing MAX SNP problems above guaranteed values
IWPEC'06 Proceedings of the Second international conference on Parameterized and Exact Computation
A complete calculus for Max-SAT
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
MAX-SAT for formulas with constant clause density can be solved faster than in O(2n) time
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Linear-programming design and analysis of fast algorithms for Max 2-CSP
Discrete Optimization
A note on the complexity of minimum dominating set
Journal of Discrete Algorithms
| Hi-index | 0.00 |