Improved Exact Algorithms for MAX-SAT
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Some Prospects for Efficient Fixed Parameter Algorithms
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
On efficient fixed-parameter algorithms for weighted vertex cover
Journal of Algorithms
Constrained minimum vertex cover in bipartite graphs: complexity and parameterized algorithms
Journal of Computer and System Sciences - Special issue on Parameterized computation and complexity
Heuristics for automated knowledge source integration and service composition
Computers and Operations Research
Constraint Bipartite Vertex Cover Simpler Exact Algorithms and Implementations
FAW '08 Proceedings of the 2nd annual international workshop on Frontiers in Algorithmics
Vertex and edge covers with clustering properties: Complexity and algorithms
Journal of Discrete Algorithms
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
An exact algorithm based on chain implication for the Min-CVCB problem
COCOA'07 Proceedings of the 1st international conference on Combinatorial optimization and applications
A fixed-parameter algorithm for string-to-string correction
CATS '10 Proceedings of the Sixteenth Symposium on Computing: the Australasian Theory - Volume 109
Exact exponential-time algorithms for finding bicliques
Information Processing Letters
Yield enhancement for 3D-stacked memory by redundancy sharing across dies
Proceedings of the International Conference on Computer-Aided Design
Constraint bipartite vertex cover: simpler exact algorithms and implementations
Journal of Combinatorial Optimization
EDGE DOMINATING SET: efficient enumeration-based exact algorithms
IWPEC'06 Proceedings of the Second international conference on Parameterized and Exact Computation
An exact exponential time algorithm for counting bipartite cliques
Information Processing Letters
Charge and reduce: A fixed-parameter algorithm for String-to-String Correction
Discrete Optimization
Hi-index | 0.00 |