Search the dblp DataBase
Víctor Dalmau :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Delbert D. Bailey , Víctor Dalmau , Phokion G. Kolaitis Comparing Phase Transitions and Peak Cost in PP-Complete Satisfiability Problems. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 2002, pp:620-626 [Conf ] Andrei A. Bulatov , Hubie Chen , Víctor Dalmau Learnability of Relatively Quantified Generalized Formulas. [Citation Graph (0, 0)][DBLP ] ALT, 2004, pp:365-379 [Conf ] Víctor Dalmau Boolean Formulas are Hard to Learn for most Gate Bases. [Citation Graph (0, 0)][DBLP ] ATL, 1999, pp:301-312 [Conf ] Víctor Dalmau A New Tractable Class of Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] AMAI, 2000, pp:- [Conf ] Albert Atserias , Víctor Dalmau A Combinatorial Characterization of ResolutionWidth. [Citation Graph (0, 0)][DBLP ] IEEE Conference on Computational Complexity, 2003, pp:239-247 [Conf ] Víctor Dalmau A Dichotomy Theorem for Learning Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP ] COLT, 1997, pp:193-200 [Conf ] Víctor Dalmau , Phokion G. Kolaitis , Moshe Y. Vardi Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. [Citation Graph (0, 0)][DBLP ] CP, 2002, pp:310-326 [Conf ] Víctor Dalmau , Justin Pearson Closure Functions and Width 1 Problems. [Citation Graph (0, 0)][DBLP ] CP, 1999, pp:159-173 [Conf ] Hubie Chen , Víctor Dalmau (Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability. [Citation Graph (0, 0)][DBLP ] CP, 2004, pp:182-196 [Conf ] Hubie Chen , Víctor Dalmau Beyond Hypertree Width: Decomposition Methods Without Decompositions. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:167-181 [Conf ] Víctor Dalmau , Ricard Gavaldà , Pascal Tesson , Denis Thérien Tractable Clones of Polynomials over Semigroups. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:196-210 [Conf ] Hubie Chen , Víctor Dalmau From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] CSL, 2005, pp:232-247 [Conf ] Víctor Dalmau , Peter Jeavons Learnability of Quantified Formulas. [Citation Graph (0, 0)][DBLP ] EuroCOLT, 1999, pp:63-78 [Conf ] Andrei A. Bulatov , Víctor Dalmau Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem. [Citation Graph (0, 0)][DBLP ] FOCS, 2003, pp:562-0 [Conf ] Víctor Dalmau Constraint Satisfaction Problems in Non-deterministic Logarithmic Space. [Citation Graph (0, 0)][DBLP ] ICALP, 2002, pp:414-425 [Conf ] Delbert D. Bailey , Víctor Dalmau , Phokion G. Kolaitis Phase Transitions of PP-Complete Satisfiability Problems. [Citation Graph (0, 0)][DBLP ] IJCAI, 2001, pp:183-192 [Conf ] Víctor Dalmau Generalized Majority-Minority Operations are Tractable. [Citation Graph (0, 0)][DBLP ] LICS, 2005, pp:438-447 [Conf ] Víctor Dalmau , Andrei A. Krokhin , Benoit Larose First-Order Definable Retraction Problems for Posets and Reflexive Graph. [Citation Graph (0, 0)][DBLP ] LICS, 2004, pp:232-241 [Conf ] Víctor Dalmau , Daniel K. Ford Generalized Satisfability with Limited Occurrences per Variable: A Study through Delta-Matroid Parity. [Citation Graph (0, 0)][DBLP ] MFCS, 2003, pp:358-367 [Conf ] Hubie Chen , Víctor Dalmau Looking Algebraically at Tractable Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP ] SAT, 2004, pp:- [Conf ] Hubie Chen , Víctor Dalmau Looking Algebraically at Tractable Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP ] SAT (Selected Papers, 2004, pp:71-79 [Conf ] Manuel Bodirsky , Víctor Dalmau Datalog and Constraint Satisfaction with Infinite Templates. [Citation Graph (0, 0)][DBLP ] STACS, 2006, pp:646-659 [Conf ] Víctor Dalmau A new tractable class of constraint satisfaction problems. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2005, v:44, n:1-2, pp:61-85 [Journal ] Albert Atserias , Víctor Dalmau A Combinatorial Characterization of Resolution Width [Citation Graph (0, 0)][DBLP ] Electronic Colloquium on Computational Complexity (ECCC), 2002, v:, n:035, pp:- [Journal ] Víctor Dalmau Malt'sev Constraints made Simple [Citation Graph (0, 0)][DBLP ] Electronic Colloquium on Computational Complexity (ECCC), 2004, v:, n:097, pp:- [Journal ] Víctor Dalmau , Ricard Gavaldà , Pascal Tesson , Denis Thérien Tractable Clones of Polynomials over Semigroups [Citation Graph (0, 0)][DBLP ] Electronic Colloquium on Computational Complexity (ECCC), 2005, v:, n:059, pp:- [Journal ] Víctor Dalmau Linear datalog and bounded path duality of relational structures. [Citation Graph (0, 0)][DBLP ] Logical Methods in Computer Science, 2005, v:1, n:1, pp:- [Journal ] Víctor Dalmau Generalized Majority-Minority Operations are Tractable. [Citation Graph (0, 0)][DBLP ] Logical Methods in Computer Science, 2006, v:2, n:4, pp:- [Journal ] Víctor Dalmau A Dichotomy Theorem for Learning Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP ] Machine Learning, 1999, v:35, n:3, pp:207-224 [Journal ] Andrei A. Bulatov , Víctor Dalmau A Simple Algorithm for Mal'tsev Constraints. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 2006, v:36, n:1, pp:16-27 [Journal ] Víctor Dalmau , Peter Jeavons Learnability of quantified formulas. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:306, n:1-3, pp:485-511 [Journal ] Víctor Dalmau , Peter Jonsson The complexity of counting homomorphisms seen from the other side. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:329, n:1-3, pp:315-323 [Journal ] Albert Atserias , Andrei A. Bulatov , Víctor Dalmau On the Power of k -Consistency. [Citation Graph (0, 0)][DBLP ] ICALP, 2007, pp:279-290 [Conf ] Víctor Dalmau Generalized Majority-Minority Operations are Tractable [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Víctor Dalmau Linear Datalog and Bounded Path Duality of Relational Structures [Citation Graph (0, 0)][DBLP ] CoRR, 2005, v:0, n:, pp:- [Journal ] Catarina Carvalho , Víctor Dalmau , Petar Markovic , Miklós Maróti CD(4) has bounded width [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Delbert D. Bailey , Víctor Dalmau , Phokion G. Kolaitis Phase transitions of PP-complete satisfiability problems. [Citation Graph (0, 0)][DBLP ] Discrete Applied Mathematics, 2007, v:155, n:12, pp:1627-1639 [Journal ] Andrei A. Bulatov , Víctor Dalmau Towards a dichotomy theorem for the counting constraint satisfaction problem. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2007, v:205, n:5, pp:651-678 [Journal ] Víctor Dalmau , Andrei A. Krokhin , Benoit Larose First-order Definable Retraction Problems for Posets and Reflexive Graphs. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2007, v:17, n:1, pp:31-51 [Journal ] Andrei A. Bulatov , Hubie Chen , Víctor Dalmau Learning intersection-closed classes with signatures. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2007, v:382, n:3, pp:209-220 [Journal ] Maltsev + Datalog --> Symmetric Datalog. [Citation Graph (, )][DBLP ] Caterpillar Duality for Constraint Satisfaction Problems. [Citation Graph (, )][DBLP ] Distance Constraint Satisfaction Problems. [Citation Graph (, )][DBLP ] Enumerating Homomorphisms. [Citation Graph (, )][DBLP ] Beyond Hypertree Width: Decomposition Methods Without Decompositions [Citation Graph (, )][DBLP ] Datalog and Constraint Satisfaction with Infinite Templates [Citation Graph (, )][DBLP ] Enumerating Homomorphisms [Citation Graph (, )][DBLP ] Distance Constraint Satisfaction Problems [Citation Graph (, )][DBLP ] Retractions onto series-parallel posets. [Citation Graph (, )][DBLP ] Majority constraints have bounded pathwidth duality. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.305secs