A linear-time transformation of linear inequalities into conjunctive normal form (Q293409): Difference between revisions

@@ Property / cites work @@
+Some results and experiments in programming techniques for propositional logic
+Normal rank
@@ Property / cites work @@
+Q4138187
@@ Property / cites work: Q4138187 / rank @@
+Normal rank
@@ Property / cites work @@
+Convex Programming Methods for Global Optimization
+Normal rank
@@ Property / cites work @@
+Branch-and-cut solution of inference problems in propositional logic
+Normal rank
@@ Property / cites work @@
+Local search algorithms for the radio link frequency assignment problem
+Normal rank
@@ Property / cites work @@
+A nonlinear approach to a class of combinatorial optimization problems
+Normal rank
@@ Property / cites work @@
+A potential reduction approach to the frequency assignment problem
+Normal rank
@@ Property / cites work @@
+Compact normal forms in propositional logic and integer programming formulations
+Normal rank