• MINTO

  • Referenced in 126 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...
  • SETHEO

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

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

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

  • Referenced in 59 articles [sw12859]
  • world data while spending minimal efforts on preprocessing and formatting...
  • CUBIT

  • Referenced in 45 articles [sw04109]
  • simplification and handle ever more complex preprocessing tasks for computational simulations...
  • GALAHAD

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

  • Referenced in 31 articles [sw09854]
  • dimensional space is given. These points are preprocessed into a data structure, so that given...
  • bc-prod

  • Referenced in 31 articles [sw10663]
  • bound system including lot-sizing specific preprocessing, cutting planes for different aspects of lot-sizing...
  • Qsplat

  • Referenced in 30 articles [sw07699]
  • including normals, 9 bytes including color Fast preprocessing. QSplat is available for research and commercial...
  • Multilinear Engine

  • Referenced in 23 articles [sw14430]
  • creates this table by using a small preprocessing program. For each different case, an individual...
  • NiVER

  • Referenced in 14 articles [sw06958]
  • NiVER: Non-increasing 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...
  • GAMBIT

  • Referenced in 15 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...
  • Ivy

  • Referenced in 21 articles [sw10279]
  • ACL2 function takes a conjecture, preprocesses the conjecture, and calls a non-ACL2 program...
  • Bloqqer

  • Referenced in 10 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...
  • STAPL

  • Referenced in 13 articles [sw00910]
  • replace STL automatically by invoking a preprocessing translation phase. In the applications studied, the performance...
  • LFR-toolbox

  • Referenced in 13 articles [sw04756]
  • enhancements in conjunction with improved symbolical preprocessing lead generally to a faster generation...
  • SBSAT

  • Referenced in 9 articles [sw00828]
  • boolean constraints, represented as BDDs. The approach preprocesses the BDDs into state machines to allow ... memoizes search information during an extensive preprocessing phase, allowing for a new form of lookahead...
  • MathSAT5

  • Referenced in 12 articles [sw09569]
  • point; third, sound SAT-style Boolean formula preprocessing for SMT formulae; finally, a framework allowing...