The following pages link to Lpopt (Q33400):
Displayed 7 items.
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving (Q2124467) (← links)
- A machine learning system to improve the performance of ASP solving based on encoding selection (Q2694597) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- Solving Advanced Argumentation Problems with Answer Set Programming (Q4957200) (← links)
- selp: <i>A Single-Shot Epistemic Logic Program Solver</i> (Q4957201) (← links)
- (Q5020571) (← links)
- (Q5020969) (← links)