Login

Publication

Detail

Publication date: 01/11/2013

Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT

Authors

Hau Nguyen Van, Alexander Brodsky, Miroslav N. Velev, Pedro Barahona,
URL http://dx.doi.org/10.1109/ICTAI.2013.154
Publisher IEEE Computer Society Press
ISBN 978-1-4799-2971-9
ISSN 1082-3409
Address Washington DC, USA
URL http://dx.doi.org/10.1109/ICTAI.2013.154
Publisher IEEE Computer Society Press
ISBN 978-1-4799-2971-9
ISSN 1082-3409
Address Washington DC, USA