Pinned Repositories
clingraph
A visualizer for graphs defined as logic programs
Multi-shot-Hamiltonian-Circuit
ASP encoding of Hamiltonian Circuit in one and multi-shot
phd-thesis
Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
sawmill_scheduling_with_ASP
Test_Clingo_API
Files to test method add_nogood
Symmetry_Breaking_with_ILP
Exploit ILP to learn symmetry breaking constraints of ASP programs.
ilp-pn-repair
taasp.at
Webpage of the Workshop Series "Trends and Applications of Answer Set Programming (TAASP)"
altarzariol's Repositories
altarzariol/sawmill_scheduling_with_ASP
altarzariol/clingraph
A visualizer for graphs defined as logic programs
altarzariol/Test_Clingo_API
Files to test method add_nogood
altarzariol/phd-thesis
Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
altarzariol/Multi-shot-Hamiltonian-Circuit
ASP encoding of Hamiltonian Circuit in one and multi-shot