Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Dalmau, Victor - Departament de Tecnologia, Universitat Pompeu Fabra
A Combinatorial Characterization of Resolution Width Albert Atserias \Lambda
Computational Complexity of Problems over Generalized Formulas
Phase Transitions of PPComplete Satisfiability Problems Delbert D. Bailey, V ctor Dalmau, Phokion G. Kolaitis
Beyond Hypertree Width: Decomposition Methods Without Decompositions
Constraint Satisfaction, Bounded Treewidth, and FiniteVariable Logics
Looking Algebraically at Tractable Quantified Boolean Hubie Chen 1 and Vctor Dalmau 2
A Dichotomy Theorem for Learning Quantified Boolean Formulas
Learning Intersection-Closed Classes with Andrei Bulatov a Hubie Chen b V ctor Dalmau b
Comparing Phase Transitions and Peak Cost in PPComplete Satisfiability Delbert D. Bailey, V ctor Dalmau y , Phokion G. Kolaitis
Two new homomorphism dualities and lattice operations Catarina Carvalho
Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem
Maltsev + Datalog = Symmetric Datalog Victor Dalmau
Majority constraints have bounded pathwidth Victor Dalmau1
Firstorder definable retraction problems for posets and reflexive graphs #
(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability
Boolean Formulas are Hard to Learn for Most V'ictor Dalmau \Lambda
Caterpillar duality for constraint satisfaction problems Catarina Carvalho
There are no pure relational width 2 constraint satisfaction problems
On the power of k-consistency Albert Atserias1
Closure Functions and Width 1 Problems V'ictor Dalmau 1?? and Justin Pearson 2
GENERALIZED SATISFIABILITY WITH k OCCURRENCES PER VARIABLE: A STUDY THROUGH DELTA-MATROID PARITY
Learnability of Quantified Formulas V'ictor Dalmau \Lambda
A NEW TRACTABLE CLASS OF CONSTRAINT SATISFACTION PROBLEMS
Some Dichotomy Theorems on Constantfree Quantified Boolean Formulas
From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for
The complexity of counting homomorphisms seen from the other side
Two new homomorphism dualities and lattice operations Catarina Carvalho
