The following pages link to The complexity of facets resolved (Q1109565):
Displaying 9 items.
- Computing Maximal Autarkies with Few and Simple Oracle Queries (Q3453219) (← links)
- How Many Conflicts Does It Need to Be Unsatisfiable? (Q3502712) (← links)
- Dealing Automatically with Exceptions by Introducing Specificity in ASP (Q3638184) (← links)
- Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores (Q5015593) (← links)
- Finding Optimal Solutions With Neighborly Help. (Q5092442) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Super-reparametrizations of weighted CSPs: properties and optimization perspective (Q6049436) (← links)
- Complexity of Stability. (Q6065416) (← links)
- On measuring inconsistency in definite and indefinite databases with denial constraints (Q6161468) (← links)