On the computational and approximation complexities of selected unit refutations in UTVPI constraint systems
Fields of Study & Subjects
Complexity and Algorithms in Graphs
Constraint Satisfaction and Optimization
Advanced Graph Theory Research
Publication details
- Journal / source
- Theoretical Computer Science
- Volume
- 1068
- Pages
- 115762–115762
- Publication date
- 29 January 2026
- Language
- EN