Boolean functional synthesis: hardness and practical algorithms
scientific article; zbMATH DE number 7388005
scientific article