Results 291 to 300 of about 2,777,990 (323)

In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving

International Conference on Theory and Applications of Satisfiability Testing, 2018
Marc Vinyals, Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström   +4 more
semanticscholar   +1 more source

A proximal bundle method for nonsmooth DC optimization utilizing nonconvex cutting planes

Journal of Global Optimization, 2016
Kaisa Joki, A. Bagirov, Napsu Karmitsa, M. Mäkelä   +3 more
semanticscholar   +1 more source

Cutting Planes from the Branch-and-Bound Tree: Challenges and Opportunities

INFORMS Journal on Computing, 2023
Claudio Contardo, Andrea Lodi
exaly  

Cutting planes from extended LP formulations

Mathematical programming, 2016
Merve Bodur, S. Dash, O. Günlük
semanticscholar   +1 more source

Cutting planes for the multistage stochastic unit commitment problem

Mathematical programming, 2016
Ruiwei Jiang, Yongpei Guan, J. Watson
semanticscholar   +1 more source

Sets Cutting the Plane

The Annals of Mathematics, 1946
openaire   +1 more source

Cutting planes for security-constrained unit commitment with regulation reserve

IISE Transactions, 2021
Yongpei Guan, Kai Pan, Kai Pan
exaly  

Cutting planes for RLT relaxations of mixed 0–1 polynomial programs

Mathematical programming, 2015
F. D. Fomeni, Konstantinos Kaparis, Adam N. Letchford   +2 more
semanticscholar   +1 more source

Integral simplex using decomposition with primal cutting planes

Mathematical programming, 2015
Samuel Rosat, Issmail Elhallaoui, F. Soumis, Andrea Lodi   +3 more
semanticscholar   +1 more source

MaxSAT-Based Cutting Planes for Learning Graphical Models

Integration of AI and OR Techniques in Constraint Programming, 2015
Paul Saikko, Brandon M. Malone, Matti Järvisalo   +2 more
semanticscholar   +1 more source