Boolean property encoding for local set pattern discovery: an application to gene expression data analysis