Van Trung Pham

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 8

Top Topics

Product Configuration

Constraint Satisfaction Problems

Constraint Satisfaction

Top Venues

ACM Trans. Comput. Log.

Electron. J. Comb.

Publications

Libor Barto, Michael Kompatscher, Miroslav Olsák, Van Trung Pham, Michael Pinsker
Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures. J. Math. Log. 19 (2) (2019)
Manuel Bodirsky, Peter Jonsson, Van Trung Pham
The Complexity of Phylogeny Constraint Satisfaction Problems. ACM Trans. Comput. Log. 18 (3) (2017)
Michael Kompatscher, Van Trung Pham
A Complexity Dichotomy for Poset Constraint Satisfaction. STACS (2017)
Manuel Bodirsky, Peter Jonsson, Van Trung Pham
The Reducts of the homogeneous Binary Branching C-Relation. J. Symb. Log. 81 (4) (2016)
Manuel Bodirsky, Peter Jonsson, Van Trung Pham
The Complexity of Phylogeny Constraint Satisfaction. STACS (2016)
Kévin Perrot, Van Trung Pham
Chip-Firing Game and a Partial Tutte Polynomial for Eulerian Digraphs. Electron. J. Comb. 23 (1) (2016)
Libor Barto, Michael Kompatscher, Miroslav Olsák, Michael Pinsker, Van Trung Pham
Equations in oligomorphic clones and the Constraint Satisfaction Problem for $ω$-categorical structures. CoRR (2016)
Michael Kompatscher, Van Trung Pham
A complexity dichotomy for poset constraint satisfaction. CoRR (2016)
Manuel Bodirsky, Peter Jonsson, Van Trung Pham
The Complexity of Phylogeny Constraint Satisfaction. CoRR (2015)
Enrico Formenti, Van Trung Pham, Thi Ha Duong Phan, Tran Thi Thu Huong
Fixed-point forms of the parallel symmetric sandpile model. Theor. Comput. Sci. 533 (2014)
Kévin Perrot, Van Trung Pham
NP-hardness of minimum feedback arc set problem on Eulerian digraphs and minimum recurrent configuration problem of Chip-firing game CoRR (2013)
Van Trung Pham, Thi Ha Duong Phan
Lattices generated by Chip Firing Game models: Criteria and recognition algorithms. Eur. J. Comb. 34 (5) (2013)
Van Trung Pham, Thi Ha Duong Phan
Lattices generated by Chip Firing Game models: characterizations and recognition algorithm CoRR (2012)
Kévin Perrot, Thi Ha Duong Phan, Van Trung Pham
On the set of Fixed Points of the Parallel Symmetric Sand Pile Model CoRR (2012)
Le Manh Ha, Van Trung Pham, Thi Ha Duong Phan
A Polynomial-Time Algorithm for Reachability Problem of a Subclass of Petri Net and Chip Firing Games. RIVF (2012)
Enrico Formenti, Van Trung Pham, Ha Duong Phan, Tran Thi Thu Huong
Fixed point forms of the parallel symmetric sandpile model CoRR (2011)
Kévin Perrot, Thi Ha Duong Phan, Van Trung Pham
On the set of Fixed Points of the Parallel Symmetric Sand Pile Model. Automata (2011)