scientific article; zbMATH DE number 1256705
From MaRDI portal
Publication:4228441
zbMATH Open0925.03035MaRDI QIDQ4228441FDOQ4228441
Authors: Michele Conforti, Gérard Cornuéjols 
Publication date: 1 March 1999
Title of this publication is not available (Why is that?)
Recommendations
- A class of logic problems solvable by linear programming
- An application of mathematical logic to the integer linear programming problem
- Decision problems for propositional linear logic
- Linear programs for constraint satisfaction problems
- Integer programs for logic constraint satisfaction
- Logic and integer programming
- A Logical Approach to Constraint Satisfaction
- On satisfiability problems with a linear structure
- Solving possibilistic linear programming problems
Numerical mathematical programming methods (65K05) Linear programming (90C05) Integer programming (90C10) Classical propositional logic (03B05)
Cited In (6)
- On finding solutions for extended Horn formulas
- Resolution and the integrality of satisfiability problems
- On some tractable classes in deduction and abduction
- A characterization of signed hypergraphs and its applications to VLSI via minimization and logic synthesis
- Balanced \(0,\pm 1\)-matrices, bicoloring and total dual integrality
- Simplifying clausal satisfiability problems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4228441)
