Travelled to:1 × France
2 × Italy
Collaborated with:J.Schmidt M.Bodirsky W.Charatonik
Talks about:constraint (3) satisfact (1) quantifi (1) problem (1) languag (1) equival (1) complex (1) tempor (1) abduct (1) posit (1)
Person: Michal Wrona
DBLP: Wrona:Michal
Contributed to:
201320122008Wrote 3 papers:
- CSL-2013-SchmidtW #abduction #complexity #constraints #similarity
- The Complexity of Abduction for Equality Constraint Languages (JS, MW), pp. 615–633.
- CSL-2012-BodirskyW #constraints #equivalence #problem
- Equivalence Constraint Satisfaction Problems (MB, MW), pp. 122–136.
- CSL-2008-CharatonikW #constraints #quantifier
- Quantified Positive Temporal Constraints (WC, MW), pp. 94–108.