Preprocessing and cutting planes with conflict graphs
Samuel Souza Brito, Haroldo Gambini Santos
Topics & Concepts
SolverPreprocessorCliqueSeparator (oil production)MathematicsMaximum cutCombinatoricsGraphMathematical optimizationComputer scienceAlgorithmDiscrete mathematicsArtificial intelligenceThermodynamicsPhysicsVehicle Routing Optimization MethodsFormal Methods in VerificationModel-Driven Software Engineering Techniques