A linear time algorithm for recognizing regular boolean functions
Journal of Algorithms
A Theory of Coteries: Mutual Exclusion in Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Efficient dualization of O(log n)-term monotone disjunctive normal forms
Discrete Applied Mathematics
Generating Partial and Multiple Transversals of a Hypergraph
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
A Linear Time Algorithm for Recognizing Regular Boolean Functions
ISAAC '99 Proceedings of the 10th International Symposium on Algorithms and Computation
An inequality for polymatroid functions and its applications
Discrete Applied Mathematics - Submodularity
Computational aspects of monotone dualization: A brief survey
Discrete Applied Mathematics
On the complexity of monotone dualization and generating minimal hypergraph transversals
Discrete Applied Mathematics
A characterization of knapsacks with the max-flow--min-cut property
Operations Research Letters
Hi-index | 5.23 |