
Walksat
 Referenced in 204 articles
[sw04328]
 returning the assignment. Otherwise, a variable is flipped and the above is then repeated until ... methods used to select which variable to flip. GSAT makes the change which minimizes ... unsatisfied by the current assignment, then flips a variable within that clause. The clause...

TetGen
 Referenced in 83 articles
[sw04046]
 enhanced local mesh operations (combination of flips and edge removal), and filtered exact geometric predicates...

TOPCOM
 Referenced in 57 articles
[sw04867]
 compute the chirotope, components of the flip graph of triangulations, enumerate all triangulations. The core...

CONTENT
 Referenced in 33 articles
[sw01058]
 complex phenomena is encountered. These are fold, flip and Neimark  Sacker bifurcations; they are called ... detect, compute and continue fold points, flip points and Neimark  Sacker points. To the best...

simpcomp
 Referenced in 22 articles
[sw06898]
 connected sums, cartesian products, handle additions, bistellar flips, etc.). Furthermore, it comes with an extensive...

NOEKEON
 Referenced in 22 articles
[sw09730]
 registers or latchbased memory instead of flip flops. The mostcompact implementation of mCrypton...

ABF++
 Referenced in 21 articles
[sw14153]
 provably valid, that is they contain no flipped triangles. As a result of these extensions...

ImageMagick
 Referenced in 20 articles
[sw13025]
 ImageMagick to resize, flip, mirror, rotate, distort, shear and transform images, adjust image colors, apply...

CCASat
 Referenced in 10 articles
[sw12924]
 seems too strict in that it forbids flipping those variables even with great scores ... heuristic when candidate variables for flipping have the same score. The resulting algorithm CCAsubscore...

FLIPS
 Referenced in 7 articles
[sw00299]
 FLIPS (Fortran Linear Inverse Problem Solver) is a Fortran95 module for solving large scale statistical ... much information about the unknown as possible. FLIPS is able to calculate the maximum ... rows & error variance/error covariance matrix) into FLIPS in small pieces, thus decreasing the memory...

LaGriT
 Referenced in 10 articles
[sw13624]
 mesh reconnection via a series of edge flips can be used to eliminate highly distorted...

categorical
 Referenced in 8 articles
[sw13141]
 find useful in a blended or flipped classroom setting. The videos are also suitable...

FLIP
 Referenced in 3 articles
[sw00298]
 FLIP’: Multiobjective fuzzy linear programming software with graphical facilities. The paper presents a microcomputer implementation ... visual interactive method, called ‘FLIP’, for solving MOLP problems with fuzzy coefficients in the objective ... sides of the constraints. The idea of ‘FLIP’ relies on an observation that for given ... constraints. The graphics displayed by ‘FLIP’ provide the most comprehensive synthesis of these characteristics...

CaTS
 Referenced in 6 articles
[sw08112]
 monomial Agraded ideals that are flipconnected to a given one. Several variants...

Checkmark
 Referenced in 5 articles
[sw11474]
 programmed from Stirmark and included: Cropping, Flip, Rotation, RotationScale, FMLR, sharpening, Gaussian filtering, Random...

flip
 Referenced in 3 articles
[sw06779]
 methods are implemented in the R package flip, freely available on CRAN...

DAVIS
 Referenced in 4 articles
[sw00189]
 together with newly developed statistical graphics like: flipped empirical distribution function, parallel coordinates, Dendrogram, scatterplot...

WhatsHap
 Referenced in 4 articles
[sw23105]
 also find that the switch and flip error rates of the haplotypes we output...

SimAn
 Referenced in 3 articles
[sw22179]
 latter codes achieve up to 50 spin flips per nanosecond on modern Intel CPUs...

FLIP
 Referenced in 1 article
[sw24985]
 FLIP: Floatingpoint Library for Integer Processors. FLIP is a C library that provides ... required by the IEEE 7542008 standard. FLIP is contributed by the Arénaire team (INRIA...