20:35Answer set solving in practice, computational aspects, approximation (blue board)Potassco223 viewsView & Download
16:52Answer set solving in practice, computational aspects, exercise 1-bPotassco297 viewsView & Download
8:54Answer set solving in practice, axiomatic characterization, external support (blue board)Potassco127 viewsView & Download
8:10Answer set solving in practice, operational characterization, well-founded operator (blueboard, b)Potassco165 viewsView & Download
10:31Answer set solving in practice, solving, conflict-driven nogood learning, search (blueboard)Potassco102 viewsView & Download
14:56Answer set solving in practice, introduction, semantics (setup)Potassco3.0K viewsView & Download
