Conforti, Michele; Cornuéjols, Gérard A class of logic problems solvable by linear programming. (English) Zbl 0925.03035 33rd annual symposium on Foundations of computer science (FOCS). Proceedings, Pittsburgh, PA, USA, October 24–27, 1992. Washington, DC: IEEE Computer Society Press, 670-675 (1992). Cited in 5 Documents MSC: 03B05 Classical propositional logic 90C10 Integer programming 65K05 Numerical mathematical programming methods 90C05 Linear programming Keywords:propositional logic; integer programs; balanced sets of clauses Citations:Zbl 0900.03025 PDFBibTeX XMLCite \textit{M. Conforti} and \textit{G. Cornuéjols}, in: 33rd annual symposium on Foundations of computer science (FOCS). Proceedings, Pittsburgh, PA, USA, October 24--27, 1992. Washington, DC: IEEE Computer Society Press. 670--675 (1992; Zbl 0925.03035)