Pierre Gillibert

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 6

Top Topics

Pseudo Boolean Optimization

Hybrid Automata

Top Venues

Int. J. Algebra Comput.

Publications

Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems. SIAM J. Comput. 51 (2) (2022)
Pierre Gillibert, Thomas Lachmann, Clemens Müllner
The VC-dimension of axis-parallel boxes on the Torus. J. Complex. 68 (2022)
Pierre Gillibert, Thomas Lachmann, Clemens Müllner
The VC-Dimension of Axis-Parallel Boxes on the Torus. CoRR (2020)
Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
Hrushovski's Encoding and ω-Categorical CSP Monsters. ICALP (2020)
Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems. CoRR (2020)
Pierre Gillibert, Julius Jonusas, Michael Pinsker
Pseudo-loop conditions. CoRR (2018)
Pierre Gillibert
The Finiteness Problem for Automaton Semigroups is Undecidable. Int. J. Algebra Comput. 24 (1) (2014)
Pierre Gillibert
The finiteness problem for automaton semigroups is undecidable CoRR (2013)
Pierre Gillibert, Miroslav Ploscica
Congruence FD-Maximal Varieties of Algebras. Int. J. Algebra Comput. 22 (6) (2012)
Pierre Gillibert, Friedrich Wehrung
An infinite combinatorial statement with a poset parameter. Comb. 31 (2) (2011)
Pierre Gillibert
Critical Points of Pairs of Varieties of Algebras. Int. J. Algebra Comput. 19 (1) (2009)