Pages that link to "Item:Q5256528"
From MaRDI portal
The following pages link to Constraint Satisfaction with Counting Quantifiers (Q5256528):
Displaying 6 items.
- The complexity of counting quantifiers on equality languages (Q515549) (← links)
- Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints (Q840817) (← links)
- The Complexity of Counting Quantifiers on Equality Languages (Q3188273) (← links)
- Quantitative Logic Reasoning (Q3305344) (← links)
- Quantified Constraints in Twenty Seventeen (Q4993605) (← links)
- Consistency for counting quantifiers (Q5005107) (← links)