×

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).

MSC:

03B05 Classical propositional logic
90C10 Integer programming
65K05 Numerical mathematical programming methods
90C05 Linear programming

Citations:

Zbl 0900.03025
PDFBibTeX XMLCite