Keyword:Semi-Boolean systems

Publications
EasyChair Preprint 1702