2QBF: Challenges and Solutions

From MaRDI portal
Publication:2818033