High quality test pattern generation and boolean satisfiability

Boolean function complexity : advances and frontiers

Sheaves of algebras over boolean spaces

Complexity classifications of Boolean constraint satisfaction problems

An interval type-2 fuzzy permutation method and experimental analysis for multiple criteria decision analysis with incomplete preference information