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

@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C05
@@ Property / Mathematics Subject Classification ID: 90C05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C27
@@ Property / Mathematics Subject Classification ID: 90C27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6590775
@@ Property / zbMATH DE Number: 6590775 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+satisfiability
@@ Property / zbMATH Keywords: satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+combinatorial optimization
@@ Property / zbMATH Keywords: combinatorial optimization / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automatic theorem proving
@@ Property / zbMATH Keywords: automatic theorem proving / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:293409