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

@@ Property / DOI @@
-.1016/j.disopt.2006.10.006
@@ Property / DOI: 10.1016/j.disopt.2006.10.006 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Benchmarks for Optimization Software
+Normal rank
@@ Property / describes a project that uses @@
+MIPLIB
@@ Property / describes a project that uses: MIPLIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPLEX
@@ Property / describes a project that uses: CPLEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XPRESS
@@ Property / describes a project that uses: XPRESS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BerkMin
@@ Property / describes a project that uses: BerkMin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MIPLIB2003
@@ Property / describes a project that uses: MIPLIB2003 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCIP
@@ Property / describes a project that uses: SCIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LINDO
@@ Property / describes a project that uses: LINDO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LINGO
@@ Property / describes a project that uses: LINGO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Decision tree for optimization software
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.disopt.2006.10.006
+Normal rank
@@ Property / OpenAlex ID @@
+W1990267895
@@ Property / OpenAlex ID: W1990267895 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.DISOPT.2006.10.006
@@ Property / DOI: 10.1016/J.DISOPT.2006.10.006 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2471271