Upper Bounds for MaxSat: Further Improved
ISAAC '99 Proceedings of the 10th International Symposium on Algorithms and Computation
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Faster Exact Solutions for MAX2SAT
CIAC '00 Proceedings of the 4th Italian Conference on Algorithms and Complexity
Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT
Discrete Applied Mathematics - The renesse issue on satisfiability
A new approach to proving upper bounds for MAX-2-SAT
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
A new algorithm for optimal 2-constraint satisfaction and its implications
Theoretical Computer Science - Automata, languages and programming: Algorithms and complexity (ICALP-A 2004)
Optimal 2-constraint satisfaction via sum-product algorithms
Information Processing Letters
SOFIE: a self-organizing framework for information extraction
Proceedings of the 18th international conference on World wide web
Evolutionary Genetic Algorithms in a Constraint Satisfaction Problem: Puzzle Eternity II
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Evolutionary techniques in a constraint satisfaction problem: puzzle eternity II
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Optimal 2-constraint satisfaction via sum--product algorithms
Information Processing Letters
Frameworks for logically classifying polynomial-time optimisation problems
CSR'10 Proceedings of the 5th international conference on Computer Science: theory and Applications
The parameterized complexity of k-flip local search for SAT and MAX SAT
Discrete Optimization
A parameterized runtime analysis of evolutionary algorithms for MAX-2-SAT
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Interval selection with machine-dependent intervals
WADS'13 Proceedings of the 13th international conference on Algorithms and Data Structures
Hi-index | 0.89 |