Keyword:Semi-Boolean systems

Papers
EasyChair Preprint no. 1702