On the Structure of Solution-Graphs for Boolean Formulas

From MaRDI portal
Publication:2947874