Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,992,937 papers from all fields of science
Search
Sign In
Create Free Account
SCIP
SCIP (Solving Constraint Integer Programs) is a mixed integer programming solver and a framework for Branch and cut and Branch and price, developed…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
19 relations
AMPL
Branch and cut
Branch and price
C++
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
On Domain Decomposition Strategies to Parallelize Branch-and-Bound Method for Global Optimization in Everest Distributed Environment
S. Smirnov
,
V. Voloshinov
2018
Corpus ID: 57103304
2017
2017
Implementation and Use of Coarse-grained Parallel Branch-and-bound in Everest Distributed Environment
V. Voloshinov
,
S. Smirnov
,
O. Sukhoroslov
International Conference on Conceptual Structures
2017
Corpus ID: 44775184
2017
2017
Implementation of Concurrent Parallelization of Branch-and-bound algorithm in Everest Distributed Environment
S. Smirnov
,
V. Voloshinov
2017
Corpus ID: 67173014
2014
2014
Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems
Wen-Yang Ku
,
J. Christopher Beck
Integration of AI and OR Techniques in Constraint…
2014
Corpus ID: 40174882
We propose a hybrid algorithm that combines discrete ellipsoid-based search (DEBS) and a branch-and-cut (B&C) MIP solver to solve…
Expand
2014
2014
Routing on dynamic networks: GRASP versus genetic
Benoit Bernay
,
Samuel Deleplanque
,
A. Quilliot
Conference on Computer Science and Information…
2014
Corpus ID: 5764705
We address here a large scale routing and scheduling transportation problem, through introduction of a flow model designed on a…
Expand
2013
2013
A novel noise filter based on interesting pattern mining for bag-of-features images
Zhiang Wu
,
Jie Cao
,
Haicheng Tao
,
Zhuang Yi
Expert systems with applications
2013
Corpus ID: 17968200
2012
2012
Using SAT & ILP techniques to solve enhanced ILP formulations of the Clustering Problem in MANETS
Syed Zahidi
,
F. Aloul
,
A. Sagahyroon
,
W. El-Hajj
8th International Wireless Communications and…
2012
Corpus ID: 5808157
Improvements over recent years in the performance of Integer Linear Programming (ILP) and Boolean Satisfiability (SAT) solvers…
Expand
2004
2004
On understanding understanding. Perception-based processing of NL texts in SCIP systems, or meaning constitution as visualized learning
B. Rieger
IEEE Transactions on Systems Man and Cybernetics…
2004
Corpus ID: 6647016
Inspired by information systems theory, semiotic cognitive information processing (SCIP) is grounded in (natural/artificial…
Expand
1999
1999
Heuristic methods for the "span elimination" problem in ring-based transport network design
Chee Yoon. Lee
,
Wayne D. Grover
,
G. D. Morley
Engineering Solutions for the Next Millennium…
1999
Corpus ID: 18035850
An aspect that is common to much of the work on optimized design of multiple-ring SONET (or WDM) networks is that they treat the…
Expand
1995
1995
SCIP: A Secure Network Layer un- derUnix
A. Helme
,
Erik Plaggenmarsch
1995
Corpus ID: 14499722
This report describes the design and implementation of a secure IP layer under Unix for the Berkeley 4.4 TCP/IP protocol suite…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE