BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bodirsky:Manuel

Contributed to:

ICALP (1) 20152015
CSL 20122012
LICS 20112011
STOC 20112011
LICS 20102010
ICALP (2) 20092009
ICALP (2) 20082008
STOC 20082008
CSL 20072007
ICALP 20072007
LICS 20072007
CSL 20062006
CSL 20032003
ICALP 20032003
RTA 20012001
CSL 20182018
IJCAR 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.