The decomposition tree for analyses of boolean functions
Mathematical Structures in Computer Science
Counting and enumerating aggregate classifiers
Discrete Applied Mathematics
A Pseudo-Boolean Optimization for Multiple Criteria Decision Making in Complex Systems
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
Fundamental study: The multiple facets of the canonical direct unit implicational basis
Theoretical Computer Science
Competitive Boolean function evaluation: Beyond monotonicity, and the symmetric case
Discrete Applied Mathematics
Widening ROBDDs with prime implicants
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Computational aspects of attack---defense trees
SIIS'11 Proceedings of the 2011 international conference on Security and Intelligent Information Systems
Selection of patients for clinical trials: an interactive web-based system
Artificial Intelligence in Medicine
Fuzzy relational equations with min-biimplication composition
Fuzzy Optimization and Decision Making
Ordered direct implicational basis of a finite closure system
Discrete Applied Mathematics
The complexity of finite-valued CSPs
Proceedings of the forty-fifth annual ACM symposium on Theory of computing
Boolean functions with long prime implicants
Information Processing Letters
Oblivious bounds on the probability of boolean functions
ACM Transactions on Database Systems (TODS)
A functional completeness theorem for De Morgan functions
Discrete Applied Mathematics
A Boolean theory of signatures for tonal scales
Discrete Applied Mathematics
Hi-index | 0.00 |