Optimal Base Encodings for Pseudo-Boolean Constraints

Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelProceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '11)
Antal sider23
Vol/bind6605
ForlagSpringer
Publikationsdato2010
StatusUdgivet - 2010
BegivenhedInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '11) - Saarbrücken, Tyskland
Varighed: 26. mar. 20113. apr. 2011

Konference

KonferenceInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '11)
LandTyskland
BySaarbrücken
Periode26/03/201103/04/2011

Citer dette

Codish, M., Fekete, Y., Fuhs, C., & Schneider-Kamp, P. (2010). Optimal Base Encodings for Pseudo-Boolean Constraints. I Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '11) (Bind 6605). Springer.
Codish, Michael ; Fekete, Yoav ; Fuhs, Carsten ; Schneider-Kamp, Peter. / Optimal Base Encodings for Pseudo-Boolean Constraints. Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '11). Bind 6605 Springer, 2010.
@inproceedings{c363293a9d684348ad020d03c03eaa7c,
title = "Optimal Base Encodings for Pseudo-Boolean Constraints",
author = "Michael Codish and Yoav Fekete and Carsten Fuhs and Peter Schneider-Kamp",
year = "2010",
language = "English",
volume = "6605",
booktitle = "Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '11)",
publisher = "Springer",
address = "Germany",

}

Codish, M, Fekete, Y, Fuhs, C & Schneider-Kamp, P 2010, Optimal Base Encodings for Pseudo-Boolean Constraints. i Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '11). bind 6605, Springer, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '11), Saarbrücken, Tyskland, 26/03/2011.

Optimal Base Encodings for Pseudo-Boolean Constraints. / Codish, Michael; Fekete, Yoav; Fuhs, Carsten; Schneider-Kamp, Peter.

Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '11). Bind 6605 Springer, 2010.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

TY - GEN

T1 - Optimal Base Encodings for Pseudo-Boolean Constraints

AU - Codish, Michael

AU - Fekete, Yoav

AU - Fuhs, Carsten

AU - Schneider-Kamp, Peter

PY - 2010

Y1 - 2010

M3 - Article in proceedings

VL - 6605

BT - Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '11)

PB - Springer

ER -

Codish M, Fekete Y, Fuhs C, Schneider-Kamp P. Optimal Base Encodings for Pseudo-Boolean Constraints. I Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '11). Bind 6605. Springer. 2010