Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Hieu Truong Xuan
Observed name:
Xuan, Hieu Truong
Institutions:
Vietnam National University, Hanoi,
VNU University of Engineering and Technology
Observed institutions:
Vietnam National University, Hanoi,
VNU University of Engineering and Technology
OpenAlex ID:
A5139896461
SAT Encoding for Set of At-Most-K Cardinality Constraints with Ladder Shape
2026
·
Xuan, Hieu Truong
, Van, Tuyen Kieu
, et al.
·
arXiv (Cornell University)
PDF
Solving Minimum Span Antibandwidth and Cyclic Antibandwidth Labeling Problems
2026
·
Xuan, Hieu Truong
, Van, Khanh To
·
arXiv (Cornell University)
PDF
Solving cyclic antibandwidth problem by SAT
2026
·
Hieu Truong Xuan
, Khanh To Van
·
Computational Optimization and Applications
PDF
Show more works
View as search
Works count:
3
Citation count:
H-index:
I10-index:
Year
Topic
Type
