PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

EPrints submitted by Victor Dalmau

Click here to see user's record.

Number of EPrints submitted by this user: 15

First-order definable problems for posets and reflexive graphs
Victor Dalmau, A Krokhin and B. Larose
In: LICS 04, 14-17 July 2004, Turku, Finland.

Generalized Majority-Minority Operations are Tractable
Victor Dalmau
In: 20th Annual IEEE Symposium on Logic in Computer Science (LICS 05), 26-29 June 2004, Chicago, USA.

Tractable Clones of Polynomials over Semigroups
Victor Dalmau, Ricard Gavaldà, Pascal Tesson and Denis Thérien
In: Eleventh International Conference on Principles and Practice of Constraint Programming, 1-5 October 2005, Barcelona, Spain.

A New Tractable Class of Constraint Satisfaction Problems
Victor Dalmau
Annals of Mathematics and Artificial Intelligence Volume 44, Number 1-2, pp. 61-85, 2005.

Majority constraints have bounded pathwidth duality
Victor Dalmau and Andrei Krokhin
European Journal on Combinatorics 2006.

A Simple Algorithm for Mal'tsev Constraints
Victor Dalmau and Andrei Bulatov
SIAM Journal on Computing Volume 36, Number 1, pp. 16-27, 2006.

Datalog and Constraint Satisfaction with Infinite templates
Victor Dalmau and Manuel Bodirsky
In: STACS 06(2006).

Linear datalog and bounded path duality of relational structures
Victor Dalmau
Logical Methods in Computer Science 2005.

CD(4) has bounded width
Catarina Carvalho, Victor Dalmau, Petar Markovic and Miklos Maroti
Algebra Universalis 2007.

On the power of k-consistency
Albert Atserias, Andrei Bulatov and Victor Dalmau
In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007(2007).

There are no pure relational widht 2 problems
Victor Dalmau
Information Processing Letters 2009.

Caterpillar duality for constraint satisfaction problems
Victor Dalmau and Andrei Krokhin
In: Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008(2008).

Mal'tsev + Datalog --> Symmetric Datalog
Victor Dalmau and Benoit Larose
In: Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008(2008).

Retractions onto series-parallel posets
Victor Dalmau, Andrei Krokhin and Benoit Larose
Discrete Mathematics 2008.

Learning Schema Mappings
Victor Dalmau
In: EDBT/ICDT 2012 Joint Conference, 26-30 March 2012, Berlin, Germany.