CompetitionTracks - Fifth Answer Set Programming Competition (ASPCOMP 2014)

Fifth Answer Set Programming Competition (ASPCOMP 2014): CompetitionTracks

UNDER CONSTRUCTION

TRACKS

Basic Encodings (normal lp + simple arithmetic and comparisons)
Advanced Encodings (everything but weak and nonHCF)
Optimization Encodings (everything, including weak, but nonHCF)
Unrestricted Encodings

Fifth Answer Set Programming Competition (ASPCOMP 2014): CompetitionTracks (last edited 2014-04-10 08:44:18 by FrancescoCalimeri)