
MINTO
 Referenced in 127 articles
[sw04587]
 relaxations. It also provides automatic constraint classification, preprocessing, primal heuristics and constraint generation. Moreover ... MINTO attempts to: improve the formulation by preprocessing and probing; construct feasible solutions generate strong...

Graphs
 Referenced in 101 articles
[sw12277]
 with a network (graph). A socalled preprocessing algorithm may compute certain information (a data ... prepare for the next phase. After this preprocessing step, applications may ask shortestpath...

SETHEO
 Referenced in 96 articles
[sw00707]
 SETHEO from common Prolog systems: a powerful preprocessing module for a reduction of the input...

SoPlex
 Referenced in 70 articles
[sw04063]
 revised simplex algorithm. It features preprocessing techniques, exploits sparsity, and offers primal and dual solving...

MNIST
 Referenced in 69 articles
[sw12859]
 world data while spending minimal efforts on preprocessing and formatting...

na20
 Referenced in 65 articles
[sw11505]
 polynomials like those arising from the symbolic preprocessing of systems of polynomial equations, where...

CUBIT
 Referenced in 49 articles
[sw04109]
 simplification and handle ever more complex preprocessing tasks for computational simulations...

GALAHAD
 Referenced in 45 articles
[sw01408]
 algorithms, as well as tools for preprocessing problems prior to solution. It also contains...

Bloqqer
 Referenced in 21 articles
[sw09578]
 solver. In this paper, we present novel preprocessing methods for QBF based on blocked clause ... elimination (QBCE) allows to simulate various structural preprocessing techniques as BCE in SAT. We have ... bloqqer. In our experiments we show that preprocessing with QBCE reduces formulas substantially and allows...

ANN
 Referenced in 33 articles
[sw09854]
 dimensional space is given. These points are preprocessed into a data structure, so that given...

bcprod
 Referenced in 32 articles
[sw10663]
 bound system including lotsizing specific preprocessing, cutting planes for different aspects of lotsizing...

Qsplat
 Referenced in 31 articles
[sw07699]
 including normals, 9 bytes including color Fast preprocessing. QSplat is available for research and commercial...

NiVER
 Referenced in 17 articles
[sw06958]
 NiVER: Nonincreasing variable elimination resolution for preprocessing SAT instances The original algorithm ... eliminate some variables in a preprocessing step, and then solve the simplified problem using ... Some instances cannot be solved without NiVER preprocessing. NiVER consistently performs well and hence...

Ivy
 Referenced in 26 articles
[sw10279]
 ACL2 function takes a conjecture, preprocesses the conjecture, and calls a nonACL2 program...

Multilinear Engine
 Referenced in 24 articles
[sw14430]
 creates this table by using a small preprocessing program. For each different case, an individual...

GAMBIT
 Referenced in 17 articles
[sw06529]
 meshing brings together most of Fluent’s preprocessing technologies in one environment. Advanced tools ... easiest, fastest, and most straightforward preprocessing paths from CAD to quality CFD meshes...

MathSAT5
 Referenced in 20 articles
[sw09569]
 point; third, sound SATstyle Boolean formula preprocessing for SMT formulae; finally, a framework allowing...

LFRtoolbox
 Referenced in 17 articles
[sw04756]
 enhancements in conjunction with improved symbolical preprocessing lead generally to a faster generation...

DRATtrim
 Referenced in 15 articles
[sw13313]
 trim, all presently known SAT solving and preprocessing techniques can be validated using DRATtrim...