Edit Profile (opens in new tab) Dalmau, Víctor Co-Author Distance Author ID: dalmau.victor 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 all top 5 Co-Authors 7 single-authored 11 Krokhin, Andrei A. 10 Bulatov, Andrei A. 8 Chen, Hubie 5 Larose, Benoit 4 Bodirsky, Manuel 3 Carvalho, Catarina A. 3 Kolaitis, Phokion G. 3 Opršal, Jakub 2 Atserias, Albert 2 Bailey, Delbert D. 2 Briceño, Raimundo 2 Grohe, Martin 2 Kozik, Marcin 2 Makarychev, Konstantin S. 2 Makarychev, Yury S. 2 Manokaran, Rajsekar 2 Martin, Barnaby D. 2 Marx, Dániel 2 Pinsker, Michael 2 ten Cate, Balder David 1 Barceló, Pablo 1 Baumgartner, Alexander 1 Butti, Silvia 1 Egri, László 1 Ford, Daniel K. 1 Gavaldà, Ricard 1 Grußien, Berit 1 Hell, Pavol 1 Jeavons, Peter G. 1 Jonsson, Peter 1 Kimelfeld, Benny 1 Marković, Petar 1 Maróti, Miklós 1 Mottet, Antoine 1 Pearson, Justin 1 Rafiey, Arash 1 Tesson, Pascal 1 Thérien, Denis 1 Thurley, Marc all top 5 Serials 5 Journal of Computer and System Sciences 4 Theoretical Computer Science 3 Journal of Logic and Computation 2 SIAM Journal on Computing 2 Information and Computation 2 Logical Methods in Computer Science 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 Information Processing Letters 1 ACM Transactions on Database Systems 1 Algebra Universalis 1 Journal of Combinatorial Theory. Series B 1 European Journal of Combinatorics 1 Machine Learning 1 Annals of Mathematics and Artificial Intelligence 1 ACM Transactions on Computation Theory all top 5 Fields 50 Computer science (68-XX) 8 General algebraic systems (08-XX) 7 Mathematical logic and foundations (03-XX) 7 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 Probability theory and stochastic processes (60-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Operations research, mathematical programming (90-XX) 1 Category theory; homological algebra (18-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 19 Fields 234 Computer science (68-XX) 65 Combinatorics (05-XX) 60 Mathematical logic and foundations (03-XX) 48 General algebraic systems (08-XX) 18 Operations research, mathematical programming (90-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 4 Statistical mechanics, structure of matter (82-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Commutative algebra (13-XX) 2 Group theory and generalizations (20-XX) 2 Probability theory and stochastic processes (60-XX) 2 Statistics (62-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year