Publications of Van Hau Nguyen

Van Hau Nguyen

Proceedings Articles

Pedro Barahona, Steffen Hölldobler, Van Hau Nguyen
Efficient SAT-Encoding of Linear CSP Constraints
Proc. International Symposium on Artificial Intelligence and Mathematics (ISAIM-2014), Special session on Boolean and pseudo-Boolean Functions, January 6â8, Fort Lauderdale, FL, USA, 2014, to appear, 2014
Details

Pedro Barahona, Steffen Hölldobler, Van Hau Nguyen
Translating the At-Most-One Constraint to SAT
Doctoral Program, 19th International Conference on Principles and Practice of Constraint Programming 2013, Uppsala, Sweden, September 16-20, 2013
Details

Steffen Hölldobler, Van Hau Nguyen
On SAT-Encodings of the At-Most-One Constraint
In George Katsirelos and Claude-Guy Quimper, eds., Proc. The Twelfth International Workshop on Constraint Modelling and Reformulation, Uppsala, Sweden, September 16-20, 1-17, 2013
Details

Van Hau Nguyen, Miroslav N. Velev, Pedro Barahona
Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT
Proc. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI2013), Special Track on SAT and CSP, November 4-6, Washington DC, USA, 2013, 1028-1035, 2013. Conference Publishing Services
Details

Technical Reports

Steffen Hölldobler, Van Hau Nguyen
An Efficient Encoding of the At-Most-One Constraint
Technical Report, Knowledge Representation and Reasoning Group 2013-04, 2013
Details

Steffen Hölldobler, Van Hau Nguyen
An Efficient Encoding of the at-most-one Constraint
Technical Report, TU Dresden, volume Technical Report 2013-04, 2013. Technical Report
Details Download

Steffen Hölldobler, Norbert Manthey, Van Hau Nguyen, Julian Stecklina, Peter Steinke
Modern Parallel SAT-Solvers
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download