Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Source Code

Gender-based Genetic Algorithm

ReleasedApril 29, 2015
DownloadGGA Repository
LicenseGNU GPLv3 license.
DescriptionUsing a novel "gender-based" genetic algorithm, GGA is a state-of-the-art parameter tuner for the automatic configuration of solvers. GGA can handle discrete, continuous and real parameters and has been used to tune solvers for a variety of problems, such as satisfiability (SAT), set covering and mixed integer programs (MIPs). GGA represents the parameters of a target solver as a "parameter tree", a type of and-or tree that expresses the relations of parameters, and exploits the tree structure during optimization.Documentation is available in the README file included in the archiveNote: this is the final release of GGA at this website. We will be releasing GGA 2.x soon through bitbucket.
CitationCarlos Ansotegui Gil, Meinolf Sellmann, Kevin Tierney. "A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms", CP 2009. (BibTeX)

Linear Temporal Optimization Planning (LTOP)

ReleasedMarch 25, 2014
DownloadLTOP version 1.0
LicenseGNU GPLv3 license
DescriptionLinear Temporal Optimization Planning (LTOP) is a method for solving automated planning problems with complex (but linear) optimization objectives that are intimately linked with the actions. In particular, LTOP has shown promise in solving problems with time-dependent task costs, such as the liner shipping fleet repositioning problem.Note that we provide this research version of LTOP with essentially no documentation, other than a small example problem. It is meant to be used as a library for modeling and solving automated planning problems. Also note that it does not support PDDL.
CitationKevin Tierney, Amanda Coles, Andrew Coles, Christian Kroer, Adam M. Britt, Rune Møller Jensen.
 Automated Planning for Liner Shipping Fleet Repositioning.
 ICAPS 2012. (BibTeX)

The University for the Information Society