- 2012
[c7]
Michal Wrona:
Syntactically Characterizing Local-to-Global Consistency in ORD-Horn. CP 2012: 704-719
[c6]
[c5]
Hubie Chen,
Michal Wrona:
Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction. TIME 2012: 99-106
- 2008
[c4]
[c3]
Witold Charatonik,
Michal Wrona:
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates. LPAR 2008: 543-557
- 2007
[c2]
- 2005
[c1]
Michal Wrona:
Stratified Boolean Grammars. MFCS 2005: 801-812
data released under the ODC-BY 1.0 license. See also our legal information page