
LPG
 Referenced in 12 articles
[sw20690]
 using a parametrized function, where the parameters weight different types of inconsistencies in the current ... search using discrete Lagrange multipliers. The evaluation function uses some heuristics to estimate the ”search ... precedence graph” that is maintained during search, and that takes into account the mutex relations ... more criteria. This is achieved by an anytime process producing a sequence of plans, each...

Paramils
 Referenced in 70 articles
[sw00678]
 Paramils: an automatic algorithm configuration framework. The identification...

TSPLIB
 Referenced in 665 articles
[sw00983]
 TSPLIB is a library of sample instances for...

SCIP
 Referenced in 472 articles
[sw01091]
 SCIP is currently one of the fastest non...

UCIml
 Referenced in 3100 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

Walksat
 Referenced in 208 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to...

Concorde
 Referenced in 303 articles
[sw04770]
 Concorde is a computer code for the symmetric...

JOBSHOP
 Referenced in 90 articles
[sw04807]
 JOBSHOP is a set of C programs for...

BGWalkSAT
 Referenced in 20 articles
[sw05048]
 Software: Backbone Guided WalkSAT for SAT and Max...

SATzilla
 Referenced in 86 articles
[sw06281]
 SATzilla: portfoliobased algorithm selection for SAT. It...

ToulBar2
 Referenced in 22 articles
[sw07289]
 Toulbar2 is an exact discrete optimization c++ open...

irace
 Referenced in 87 articles
[sw08008]
 The irace Package: Iterated Race for Automatic Algorithm...

DIMACS
 Referenced in 530 articles
[sw08221]
 The DIMACS Implementation Challenges address questions of determining...

ElemStatLearn
 Referenced in 1335 articles
[sw11049]
 R package ElemStatLearn: Data sets, functions and examples...

C4.5
 Referenced in 1127 articles
[sw12176]
 C4.5: programs for machine learning. (C4.5 has been...

BRENT
 Referenced in 421 articles
[sw14021]
 BRENT Algorithms for Minimization Without Derivatives. BRENT is...

mplp2
 Referenced in 6 articles
[sw21188]
 Efficiently Searching for Frustrated Cycles in MAP Inference...

DAOOPT
 Referenced in 3 articles
[sw21189]
 DAOOPT: Distributed AND/OR Optimization. An implementation of sequential...