The following pages link to (Q4202942):
Displayed 8 items.
- Projection, consistency, and George Boole (Q265702) (← links)
- Projecting systems of linear inequalities with binary variables (Q646699) (← links)
- Logic cuts for multilevel generalized assignment problems. (Q1406973) (← links)
- Long range planning in the process industries: A projection approach (Q1919201) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- Mixed logical-linear programming (Q1961464) (← links)
- Analyzing read-once cutting plane proofs in Horn systems (Q2673307) (← links)
- On the restricted equivalence for subclasses of propositional logic (Q3142267) (← links)