The following pages link to Michał Wrona (Q515548):
Displaying 14 items.
- The complexity of counting quantifiers on equality languages (Q515549) (← links)
- Minimal inference problem over finite domains: the landscape of complexity (Q2401929) (← links)
- Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems (Q2922046) (← links)
- The Complexity of Counting Quantifiers on Equality Languages (Q3188273) (← links)
- Quantified Positive Temporal Constraints (Q3540173) (← links)
- The Complexity of Minimal Inference Problem for Conservative Constraint Languages (Q4633640) (← links)
- (Q4649542) (← links)
- (Q5144663) (← links)
- On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width (Q5145694) (← links)
- Tractability of quantified temporal constraints to the max (Q5175605) (← links)
- Mathematical Foundations of Computer Science 2005 (Q5492910) (← links)
- Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates (Q5505580) (← links)
- (Q5874312) (← links)
- The complete classification for quantified equality constraints (Q6364329) (← links)
