BibSLEIGH — Manuel

Travelled to:

1 × Austria
1 × France
1 × Greece
1 × Hungary
1 × Iceland
1 × Japan
1 × Switzerland
1 × USA
1 × United Kingdom
2 × Canada
2 × Poland
2 × The Netherlands

Collaborated with:

H.Chen M.Pinsker J.Kára B.Martin T.v.Oertzen M.Wrona M.Grohe J.Nesetril J.Greiner A.Mottet T.Tsankov M.Hils P.Jönsson C.Gröpl M.Kang M.Mamino C.Viola K.Erk A.Koller J.Niehren

Talks about:

constraint (12) satisfact (9) problem (5) infinit (3) complex (3) quantifi (2) tempor (2) qualit (2) domain (2) graph (2)

Person: Manuel Bodirsky

DBLP: Bodirsky:Manuel

Contributed to:

2015

2012

2011

2010

2009

2008

2007

2006

2003

2001

2018

Wrote 17 papers:

ICALP-v1-2015-BodirskyMM #constraints #integer #problem: Constraint Satisfaction Problems over the Integers with Successor (MB, BM, AM), pp. 256–267.
CSL-2012-BodirskyW #constraints #equivalence #problem: Equivalence Constraint Satisfaction Problems (MB, MW), pp. 122–136.
LICS-2011-BodirskyPT #decidability: Decidability of Definability (MB, MP, TT), pp. 321–328.
STOC-2011-BodirskyP #graph #theorem: Schaefer’s theorem for graphs (MB, MP), pp. 655–664.
LICS-2010-BodirskyHM #algebra #approach #constraints #on the: On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction (MB, MH, BM), pp. 90–99.
ICALP-v2-2009-BodirskyJO #linear: Semilinear Program Feasibility (MB, PJ, TvO), pp. 79–90.
ICALP-B-2008-BodirskyG #complexity #constraints: Non-dichotomies in Constraint Satisfaction Complexity (MB, MG), pp. 184–196.
STOC-2008-BodirskyK #complexity #constraints #problem: The complexity of temporal constraint satisfaction problems (MB, JK), pp. 29–38.
CSL-2007-BodirskyC #reasoning #revisited: Qualitative Temporal and Spatial Reasoning Revisited (MB, HC), pp. 194–207.
ICALP-2007-BodirskyCKO #constraints: Maximal Infinite-Valued Constraint Languages (MB, HC, JK, TvO), pp. 546–557.
LICS-2007-BodirskyC #constraints #quantifier #similarity: Quantified Equality Constraints (MB, HC), pp. 203–212.
CSL-2006-BodirskyC #constraints #quantifier: Collapsibility in Infinite-Domain Quantified Constraint Satisfaction (MB, HC), pp. 197–211.
CSL-2003-BodirskyN #constraints: Constraint Satisfaction with Countable Homogeneous Templates (MB, JN), pp. 44–57.
ICALP-2003-BodirskyGK #generative #graph #random: Generating Labeled Planar Graphs Uniformly at Random (MB, CG, MK), pp. 1095–1107.
RTA-2001-BodirskyEKN #constraints #reduction: β Reduction Constraints (MB, KE, AK, JN), pp. 31–46.
CSL-2018-BodirskyMV #constraints #infinity #problem: Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains (MB, MM, CV), p. 22.
IJCAR-2018-BodirskyG #complexity #constraints #problem: Complexity of Combinations of Qualitative Constraint Satisfaction Problems (MB, JG), pp. 263–278.