Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Dynamic Magic Sets and super-coherent answer set programs
AI Communications - Answer Set Programming
Learning and using domain-specific heuristics in ASP solvers
AI Communications - Answer Set Programming
A logical characterisation of ordered disjunction
AI Communications - Answer Set Programming
Symmetry-breaking answer set solving
AI Communications - Answer Set Programming
An incremental answer set programming based system for finite model computation
AI Communications - Answer Set Programming
Hi-index | 0.01 |