Pseudo-Boolean remarks on balanced graphs

Pseudo-Boolean methods are proposed for (1) recognizing whether a given signed graph is balanced, and (2) for constructing that (those) balanced graph(s), which are the “closest” to a given signed graph.