Conflict analysis in mixed integer programming (Q2471271): Difference between revisions

@@ Property / cites work @@
+MIPLIB 2003
@@ Property / cites work: MIPLIB 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+On the maximum feasible subsystem problem, IISs and IIS-hypergraphs
+Normal rank
@@ Property / cites work @@
+Conflict graphs in solving integer programming problems
+Normal rank
@@ Property / cites work @@
+A finiteness proof for modified dantzig cuts in integer programming
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring relaxation induced neighborhoods to improve MIP solutions
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386920
@@ Property / cites work: Q4386920 / rank @@
+Normal rank
@@ Property / cites work @@
+BerkMin: A fast and robust SAT-solver
@@ Property / cites work: BerkMin: A fast and robust SAT-solver / rank @@
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Q3023951
@@ Property / cites work: Q3023951 / rank @@
+Normal rank
@@ Property / cites work @@
+Technical Note—Strengthened Dantzig Cuts for Integer Programming
+Normal rank
@@ Property / cites work @@
+Preprocessing and Probing Techniques for Mixed Integer Programming Problems
+Normal rank
@@ Property / cites work @@
+Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
+Normal rank
@@ Property / cites work @@
+Design of Logic‐based Intelligent Systems
@@ Property / cites work: Design of Logic‐based Intelligent Systems / rank @@
+Normal rank