Optimal length cutting plane refutations of integer programs

Article Properties
Cite
Subramani, K., and Piotr Wojciechowski. “Optimal Length Cutting Plane Refutations of Integer Programs”. Discrete Optimization, vol. 50, 2023, p. 100806, https://doi.org/10.1016/j.disopt.2023.100806.
Subramani, K., & Wojciechowski, P. (2023). Optimal length cutting plane refutations of integer programs. Discrete Optimization, 50, 100806. https://doi.org/10.1016/j.disopt.2023.100806
Subramani, K., and Piotr Wojciechowski. “Optimal Length Cutting Plane Refutations of Integer Programs”. Discrete Optimization 50 (2023): 100806. https://doi.org/10.1016/j.disopt.2023.100806.
Subramani K, Wojciechowski P. Optimal length cutting plane refutations of integer programs. Discrete Optimization. 2023;50:100806.
Journal Categories
Science
Mathematics
Technology
Engineering (General)
Civil engineering (General)
Technology
Manufactures
Production management
Operations management
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Optimal Length Resolution Refutations of Difference Constraint Systems Journal of Automated Reasoning
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 17 2009
On finding short resolution refutations and small unsatisfiable subsets Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 7 2006
On the automatizability of resolution and related propositional proof systems Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 16 2004
On interpolation and automatization for frege systems 2000
Lower bounds for resolution and cutting plane proofs and monotone computations

 The Journal of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 105 1997