×
Author ID: dalmau.victor Recent zbMATH articles by "Dalmau, Víctor"
Published as: Dalmau, Víctor; Dalmau, Victor
External Links: ORCID
Documents Indexed: 52 Publications since 1999, including 1 Additional arXiv Preprint
Co-Authors: 39 Co-Authors with 45 Joint Publications
968 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

44 Publications have been cited 425 times in 276 Documents Cited by Year
A simple algorithm for Mal’tsev constraints. Zbl 1112.08002
Bulatov, Andrei; Dalmau, Víctor
39
2006
Towards a dichotomy theorem for the counting constraint satisfaction problem. Zbl 1115.68141
Bulatov, Andrei A.; Dalmau, Víctor
36
2007
A combinatorial characterization of resolution width. Zbl 1133.03034
Atserias, Albert; Dalmau, Víctor
34
2008
The complexity of counting homomorphisms seen from the other side. Zbl 1086.68054
Dalmau, Víctor; Jonsson, Peter
33
2004
Closure functions and width 1 problems. Zbl 0957.68081
Dalmau, Víctor; Pearson, Justin
28
1999
Beyond hypertree width: Decomposition methods without decompositions. Zbl 1153.68452
Chen, Hubie; Dalmau, Víctor
18
2005
Linear Datalog and bounded path duality of relational structures. Zbl 1125.68408
Dalmau, Victor
16
2005
Datalog and constraint satisfaction with infinite templates. Zbl 1263.68051
Bodirsky, Manuel; Dalmau, Víctor
15
2013
Majority constraints have bounded pathwidth duality. Zbl 1138.68052
Dalmau, Víctor; Krokhin, Andrei
13
2008
Robust satisfiability for CSPs: hardness and algorithmic results. Zbl 1322.68099
Dalmau, Víctor; Krokhin, Andrei
13
2013
Generalized majority-minority operations are tractable. Zbl 1127.68039
Dalmau, Victor
12
2006
On the power of \(k\)-consistency. Zbl 1171.68720
Atserias, Albert; Bulatov, Andrei; Dalmau, Victor
12
2007
Generalized satisfiability with limited occurrences per variable: A study through delta-matroid parity. Zbl 1124.68372
Dalmau, Victor; Ford, Daniel K.
12
2003
Enumerating homomorphisms. Zbl 1253.68165
Bulatov, Andrei A.; Dalmau, Víctor; Grohe, Martin; Marx, Dániel
10
2012
A new tractable class of constraint satisfaction problems. Zbl 1075.68082
Dalmau, Víctor
10
2005
Decomposing quantified conjunctive (or disjunctive) formulas. Zbl 1361.68138
Chen, Hubie; Dalmau, Víctor
10
2012
Learnability of quantified formulas. Zbl 1060.68049
Dalmau, Víctor; Jeavons, Peter
9
2003
From pebble games to tractability: An ambidextrous consistency algorithm for quantified constraint satisfaction. Zbl 1136.68517
Chen, Hubie; Dalmau, Víctor
9
2005
Arc consistency and friends. Zbl 1282.68134
Chen, Hubie; Dalmau, Victor; Grußien, Berit
9
2013
Datalog and constraint satisfaction with infinite templates. Zbl 1136.03314
Bodirsky, Manuel; Dalmau, Víctor
7
2006
Towards a characterization of constant-factor approximable min CSPs. Zbl 1371.90116
Dalmau, Víctor; Krokhin, Andrei; Manokaran, Rajsekar
6
2015
First-order definable retraction problems for posets and reflexive graphs. Zbl 1129.03017
Dalmau, Víctor; Krokhin, Andrei; Larose, Benoit
5
2007
Two new homomorphism dualities and lattice operations. Zbl 1231.68121
Carvalho, Catarina; Dalmau, Víctor; Krokhin, Andrei
5
2011
Descriptive complexity of list H-coloring problems in logspace: a refined dichotomy. Zbl 1401.68104
Dalmau, Victor; Egri, Laszló; Hell, Pavol; Larose, Benoît; Rafiey, Arash
5
2015
Constraint satisfaction problems in non-deterministic logarithmic space. Zbl 1056.68130
Dalmau, Víctor
5
2002
CSP duality and trees of bounded pathwidth. Zbl 1196.68167
Carvalho, Catarina; Dalmau, Víctor; Krokhin, Andrei
5
2010
A dichotomy theorem for learning quantified Boolean formulas. Zbl 0941.68064
Dalmau, Víctor
4
1999
CD(4) has bounded width. Zbl 1190.08003
Carvalho, Catarina; Dalmau, Víctor; Marković, Petar; Maróti, Miklós
4
2009
Distance constraint satisfaction problems. Zbl 1287.68068
Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Pinsker, Michael
4
2010
Robust algorithms with polynomial loss for near-unanimity CSPs. Zbl 1410.68162
Dalmau, Víctor; Kozik, Marcin; Krokhin, Andrei; Makarychev, Konstantin; Makarychev, Yury; Opršal, Jakub
4
2017
Phase transitions of PP-complete satisfiability problems. Zbl 1123.68117
Bailey, Delbert D.; Dalmau, Víctor; Kolaitis, Phokion G.
3
2007
Learning intersection-closed classes with signatures. Zbl 1127.68044
Bulatov, Andrei; Chen, Hubie; Dalmau, Víctor
3
2007
There are no pure relational width 2 constraint satisfaction problems. Zbl 1191.68339
Dalmau, Víctor
3
2009
Learnability of relatively quantified generalized formulas. Zbl 1110.68391
Bulatov, Andrei; Chen, Hubie; Dalmau, Víctor
3
2004
(Smart) look-ahead arc consistency and the pursuit of CSP tractability. Zbl 1152.68547
Chen, Hubie; Dalmau, Víctor
3
2004
Learning schema mappings. Zbl 1321.68249
ten Cate, Balder; Dalmau, Víctor; Kolaitis, Phokion G.
3
2013
Retractions onto series-parallel posets. Zbl 1141.06001
Dalmau, Víctor; Krokhin, Andrei; Larose, Benoit
2
2008
Distance constraint satisfaction problems. Zbl 1336.68116
Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Mottet, Antoine; Pinsker, Michael
2
2016
The product homomorphism problem and applications. Zbl 1365.68296
ten Cate, Balder; Dalmau, Victor
2
2015
Tractable clones of polynomials over semigroups. Zbl 1153.68455
Dalmau, Víctor; Gavaldà, Ricard; Tesson, Pascal; Thérien, Denis
2
2005
Robust algorithms with polynomial loss for near-unanimity CSPs. Zbl 1452.68087
Dalmau, Víctor; Kozik, Marcin; Krokhin, Andrei; Makarychev, Konstantin; Makarychev, Yury; Opršal, Jakub
2
2019
Dismantlability, connectedness, and mixing in relational structures. Zbl 1503.08002
Briceño, Raimundo; Bulatov, Andrei; Dalmau, Víctor; Larose, Benoît
2
2021
Towards a characterization of constant-factor approximable finite-valued CSPs. Zbl 1398.68666
Dalmau, Víctor; Krokhin, Andrei; Manokaran, Rajsekar
2
2018
Phase transitions of PP-complete satisfiability problems. (Abstract). Zbl 0990.90547
Bailey, Delbert D.; Dalmau, Victor; Kolaitis, Phokion G.
1
2001
Dismantlability, connectedness, and mixing in relational structures. Zbl 1503.08002
Briceño, Raimundo; Bulatov, Andrei; Dalmau, Víctor; Larose, Benoît
2
2021
Robust algorithms with polynomial loss for near-unanimity CSPs. Zbl 1452.68087
Dalmau, Víctor; Kozik, Marcin; Krokhin, Andrei; Makarychev, Konstantin; Makarychev, Yury; Opršal, Jakub
2
2019
Towards a characterization of constant-factor approximable finite-valued CSPs. Zbl 1398.68666
Dalmau, Víctor; Krokhin, Andrei; Manokaran, Rajsekar
2
2018
Robust algorithms with polynomial loss for near-unanimity CSPs. Zbl 1410.68162
Dalmau, Víctor; Kozik, Marcin; Krokhin, Andrei; Makarychev, Konstantin; Makarychev, Yury; Opršal, Jakub
4
2017
Distance constraint satisfaction problems. Zbl 1336.68116
Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Mottet, Antoine; Pinsker, Michael
2
2016
Towards a characterization of constant-factor approximable min CSPs. Zbl 1371.90116
Dalmau, Víctor; Krokhin, Andrei; Manokaran, Rajsekar
6
2015
Descriptive complexity of list H-coloring problems in logspace: a refined dichotomy. Zbl 1401.68104
Dalmau, Victor; Egri, Laszló; Hell, Pavol; Larose, Benoît; Rafiey, Arash
5
2015
The product homomorphism problem and applications. Zbl 1365.68296
ten Cate, Balder; Dalmau, Victor
2
2015
Datalog and constraint satisfaction with infinite templates. Zbl 1263.68051
Bodirsky, Manuel; Dalmau, Víctor
15
2013
Robust satisfiability for CSPs: hardness and algorithmic results. Zbl 1322.68099
Dalmau, Víctor; Krokhin, Andrei
13
2013
Arc consistency and friends. Zbl 1282.68134
Chen, Hubie; Dalmau, Victor; Grußien, Berit
9
2013
Learning schema mappings. Zbl 1321.68249
ten Cate, Balder; Dalmau, Víctor; Kolaitis, Phokion G.
3
2013
Enumerating homomorphisms. Zbl 1253.68165
Bulatov, Andrei A.; Dalmau, Víctor; Grohe, Martin; Marx, Dániel
10
2012
Decomposing quantified conjunctive (or disjunctive) formulas. Zbl 1361.68138
Chen, Hubie; Dalmau, Víctor
10
2012
Two new homomorphism dualities and lattice operations. Zbl 1231.68121
Carvalho, Catarina; Dalmau, Víctor; Krokhin, Andrei
5
2011
CSP duality and trees of bounded pathwidth. Zbl 1196.68167
Carvalho, Catarina; Dalmau, Víctor; Krokhin, Andrei
5
2010
Distance constraint satisfaction problems. Zbl 1287.68068
Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Pinsker, Michael
4
2010
CD(4) has bounded width. Zbl 1190.08003
Carvalho, Catarina; Dalmau, Víctor; Marković, Petar; Maróti, Miklós
4
2009
There are no pure relational width 2 constraint satisfaction problems. Zbl 1191.68339
Dalmau, Víctor
3
2009
A combinatorial characterization of resolution width. Zbl 1133.03034
Atserias, Albert; Dalmau, Víctor
34
2008
Majority constraints have bounded pathwidth duality. Zbl 1138.68052
Dalmau, Víctor; Krokhin, Andrei
13
2008
Retractions onto series-parallel posets. Zbl 1141.06001
Dalmau, Víctor; Krokhin, Andrei; Larose, Benoit
2
2008
Towards a dichotomy theorem for the counting constraint satisfaction problem. Zbl 1115.68141
Bulatov, Andrei A.; Dalmau, Víctor
36
2007
On the power of \(k\)-consistency. Zbl 1171.68720
Atserias, Albert; Bulatov, Andrei; Dalmau, Victor
12
2007
First-order definable retraction problems for posets and reflexive graphs. Zbl 1129.03017
Dalmau, Víctor; Krokhin, Andrei; Larose, Benoit
5
2007
Phase transitions of PP-complete satisfiability problems. Zbl 1123.68117
Bailey, Delbert D.; Dalmau, Víctor; Kolaitis, Phokion G.
3
2007
Learning intersection-closed classes with signatures. Zbl 1127.68044
Bulatov, Andrei; Chen, Hubie; Dalmau, Víctor
3
2007
A simple algorithm for Mal’tsev constraints. Zbl 1112.08002
Bulatov, Andrei; Dalmau, Víctor
39
2006
Generalized majority-minority operations are tractable. Zbl 1127.68039
Dalmau, Victor
12
2006
Datalog and constraint satisfaction with infinite templates. Zbl 1136.03314
Bodirsky, Manuel; Dalmau, Víctor
7
2006
Beyond hypertree width: Decomposition methods without decompositions. Zbl 1153.68452
Chen, Hubie; Dalmau, Víctor
18
2005
Linear Datalog and bounded path duality of relational structures. Zbl 1125.68408
Dalmau, Victor
16
2005
A new tractable class of constraint satisfaction problems. Zbl 1075.68082
Dalmau, Víctor
10
2005
From pebble games to tractability: An ambidextrous consistency algorithm for quantified constraint satisfaction. Zbl 1136.68517
Chen, Hubie; Dalmau, Víctor
9
2005
Tractable clones of polynomials over semigroups. Zbl 1153.68455
Dalmau, Víctor; Gavaldà, Ricard; Tesson, Pascal; Thérien, Denis
2
2005
The complexity of counting homomorphisms seen from the other side. Zbl 1086.68054
Dalmau, Víctor; Jonsson, Peter
33
2004
Learnability of relatively quantified generalized formulas. Zbl 1110.68391
Bulatov, Andrei; Chen, Hubie; Dalmau, Víctor
3
2004
(Smart) look-ahead arc consistency and the pursuit of CSP tractability. Zbl 1152.68547
Chen, Hubie; Dalmau, Víctor
3
2004
Generalized satisfiability with limited occurrences per variable: A study through delta-matroid parity. Zbl 1124.68372
Dalmau, Victor; Ford, Daniel K.
12
2003
Learnability of quantified formulas. Zbl 1060.68049
Dalmau, Víctor; Jeavons, Peter
9
2003
Constraint satisfaction problems in non-deterministic logarithmic space. Zbl 1056.68130
Dalmau, Víctor
5
2002
Phase transitions of PP-complete satisfiability problems. (Abstract). Zbl 0990.90547
Bailey, Delbert D.; Dalmau, Victor; Kolaitis, Phokion G.
1
2001
Closure functions and width 1 problems. Zbl 0957.68081
Dalmau, Víctor; Pearson, Justin
28
1999
A dichotomy theorem for learning quantified Boolean formulas. Zbl 0941.68064
Dalmau, Víctor
4
1999
all top 5

Cited by 315 Authors

18 Krokhin, Andrei A.
17 Bulatov, Andrei A.
17 Živný, Stanislav
16 Bodirsky, Manuel
16 Chen, Hubie
16 Dalmau, Víctor
13 Cai, Jin-Yi
12 Jonsson, Peter
10 Roth, Marc
9 Atserias, Albert
9 Goldberg, Leslie Ann
9 Larose, Benoit
8 Barto, Libor
8 Lauria, Massimo
8 Lu, Pinyan
7 Cooper, Martin C.
7 Greco, Gianluigi
7 Grohe, Martin
7 Kozik, Marcin
6 Jeavons, Peter G.
6 Martin, Barnaby D.
6 Scarcello, Francesco
6 Schmitt, Johannes
5 Cohen, David A.
5 Galesi, Nicola
5 Guo, Heng
5 Jerrum, Mark R.
5 Lutz, Carsten
5 Mottet, Antoine
5 Nordström, Jakob
5 Szeider, Stefan
5 Thapen, Neil
5 Wellnitz, Philip
4 Barceló, Pablo
4 Bonacina, Ilario
4 Carvalho, Catarina A.
4 Dyer, Martin E.
4 Egri, László
4 Gottlob, Georg
4 Lagerkvist, Victor
4 Mengel, Stefan
4 Niven, Todd
4 Opršal, Jakub
4 Richerby, David M.
4 Romero, Miguel
4 Valeriote, Matthew A.
4 Williams, Tyson
4 Yamakami, Tomoyuki
3 Beyersdorff, Olaf
3 Bova, Simone
3 Carbonnel, Clément
3 Dell, Holger
3 Ganian, Robert
3 Guruswami, Venkatesan
3 Kazda, Alexandr
3 Maróti, Miklós
3 Mayr, Peter
3 McKenzie, Ralph N.
3 Meeks, Kitty
3 Nordh, Gustav
3 Ordyniak, Sebastian
3 Skritek, Sebastian
3 Thapper, Johan
3 Wrochna, Marcin
3 Xia, Mingji
2 Bauland, Michael
2 Berkholz, Christoph
2 Brakensiek, Joshua
2 Briceño, Raimundo
2 Chebolu, Prasad
2 Chen, Xi
2 Chew, Leroy
2 Curticapean, Radu
2 Dawar, Anuj
2 Dilkina, Bistra
2 Dörfler, Julian
2 Durand, Arnaud
2 Dvořák, Zdeněk
2 Esteban, Juan Luis
2 Feier, Cristina
2 Filmus, Yuval
2 Fu, Zhiguo
2 Galanis, Andreas
2 Gishboliner, Lior
2 Gomes, Carla P.
2 Grädel, Erich
2 Hell, Pavol
2 Huang, Sangxia
2 Jackson, Marcel G.
2 Jalsenius, Markus
2 Jansen, Bart M. P.
2 Kára, Jan
2 Knäuer, Simon
2 Kowalczyk, Michael
2 Kuusisto, Antti
2 Levanzov, Yevgeny
2 Madelaine, Florent R.
2 Mamino, Marcello
2 Martin, Russell A.
2 Marx, Dániel
...and 215 more Authors
all top 5

Cited in 46 Serials

25 Journal of Computer and System Sciences
25 SIAM Journal on Computing
21 Theoretical Computer Science
14 Information and Computation
13 Theory of Computing Systems
10 Information Processing Letters
10 Algorithmica
8 Constraints
8 Logical Methods in Computer Science
7 European Journal of Combinatorics
6 Artificial Intelligence
6 Algebra Universalis
6 ACM Transactions on Computational Logic
5 Discrete Applied Mathematics
5 Computational Complexity
5 Annals of Mathematics and Artificial Intelligence
3 Discrete Mathematics
3 International Journal of Algebra and Computation
3 Journal of the ACM
2 SIAM Journal on Discrete Mathematics
2 Journal of Machine Learning Research (JMLR)
2 ACM Transactions on Algorithms
1 Israel Journal of Mathematics
1 Canadian Mathematical Bulletin
1 Journal of Combinatorial Theory. Series B
1 Journal of Graph Theory
1 Proceedings of the American Mathematical Society
1 Transactions of the American Mathematical Society
1 Combinatorica
1 Journal of Symbolic Computation
1 Journal of Automated Reasoning
1 International Journal of Approximate Reasoning
1 Forum Mathematicum
1 International Journal of Foundations of Computer Science
1 Archive for Mathematical Logic
1 Cybernetics and Systems Analysis
1 Combinatorics, Probability and Computing
1 The Electronic Journal of Combinatorics
1 The Journal of Artificial Intelligence Research (JAIR)
1 The Bulletin of Symbolic Logic
1 Journal of the European Mathematical Society (JEMS)
1 Journal of Mathematical Logic
1 Journal of Multiple-Valued Logic and Soft Computing
1 Computer Science Review
1 ACM Transactions on Computation Theory
1 Research in the Mathematical Sciences

Citations by Year