FIS-Box of the chair

2012

• Equivalence Constraint Satisfaction Problems.Bodirsky, M. & Wrona, M., 2012, CSL. p. 122-136, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Complexity of MMSNPBodirsky, M., Chen, H. & Feder, T., 2012, In: SIAM journal on discrete mathematics : a publ. of the Society for Industrial and Applied Mathematics. 26, 1, p. 404-414, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article

2011

• Limit Behavior of Locally Consistent Constraint Satisfaction ProblemsBodirsky, M. & Král’, D., Jan 2011, In: SIAM journal on discrete mathematics : a publ. of the Society for Industrial and Applied Mathematics. 25, 2Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Reducts of Ramsey structuresBodirsky, M. & Pinsker, M., 2011, In: Contemporary mathematics : CONM. 558, p. 489-+Research output: Contribution to journal > Research article

2010

• The complexity of temporal constraint satisfaction problemsBodirsky, M. & Kára, J., 1 Jan 2010, In: Journal of the ACMElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Peek arc consistencyBodirsky, M. & Chen, H., Jan 2010, In: Theoretical computer science : the journal of the EATCSElectronic (full-text) versionResearch output: Contribution to journal > Research article

2009

• Qualitative Temporal and Spatial Reasoning RevisitedBodirsky, M. & Chen, H., 2009, In:  Journal of logic and computation. 19, 6, p. 1359-1383, 25 p., 6Electronic (full-text) versionResearch output: Contribution to journal > Research article