Reduced Cost Fixing in MaxSAT

Fahiem Bacchus; Antti Hyttinen; Matti Järvisalo; Paul Saikko

doi:10.1007/978-3-319-66158-2_41

Reduced Cost Fixing in MaxSAT

Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017 Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings
Editors	J. Christopher Beck
Number of pages	11
Place of Publication	Cham
Publisher	Springer International Publishing AG
Publication date	2017
Pages	641-651
ISBN (Print)	978-3-319-66157-5
ISBN (Electronic)	978-3-319-66158-2
DOIs	https://doi.org/10.1007/978-3-319-66158-2_41
Publication status	Published - 2017
MoE publication type	A4 Article in conference proceedings
Event	International Conference on Principles and Practice of Constraint Programming - Melbourne, Australia Duration: 28 Aug 2017 → 1 Sep 2017 Conference number: 23

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10416
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Fields of Science

113 Computer and information sciences

Access to Document

10.1007/978-3-319-66158-2_41

paperAccepted author manuscript, 2.67 MB

1 Finished

Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
Järvisalo, M.
Unknown funder
01/09/2014 → 31/08/2019
Project: Research project

CP 2017 Distinguished Paper Award
Fahiem Bacchus (Recipient), Hyttinen, Antti (Recipient), Järvisalo, Matti (Recipient) & Saikko, Paul (Recipient), 2017
Prize: Prizes and awards

Cite this

Bacchus, F., Hyttinen, A., Järvisalo, M., & Saikko, P. (2017). Reduced Cost Fixing in MaxSAT. In J. C. Beck (Ed.), Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017 Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings (pp. 641-651). (Lecture Notes in Computer Science; Vol. 10416). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-66158-2_41

Bacchus, Fahiem ; Hyttinen, Antti ; Järvisalo, Matti ; Saikko, Paul. / Reduced Cost Fixing in MaxSAT. Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017 Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. editor / J. Christopher Beck. Cham : Springer International Publishing AG, 2017. pp. 641-651 (Lecture Notes in Computer Science).

@inproceedings{9eddee12831b483192706b4624b2da54,

title = "Reduced Cost Fixing in MaxSAT",

keywords = "113 Computer and information sciences",

author = "Fahiem Bacchus and Antti Hyttinen and Matti J{\"a}rvisalo and Paul Saikko",

note = " Volume: Proceeding volume: ; International Conference on Principles and Practice of Constraint Programming ; Conference date: 28-08-2017 Through 01-09-2017",

year = "2017",

doi = "10.1007/978-3-319-66158-2_41",

language = "English",

isbn = "978-3-319-66157-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing AG",

pages = "641--651",

editor = "Beck, {J. Christopher}",

booktitle = "Principles and Practice of Constraint Programming",

address = "Switzerland",

}

Bacchus, F, Hyttinen, A , Järvisalo, M & Saikko, P 2017, Reduced Cost Fixing in MaxSAT. in JC Beck (ed.), Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017 Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Lecture Notes in Computer Science, vol. 10416, Springer International Publishing AG, Cham, pp. 641-651, International Conference on Principles and Practice of Constraint Programming, Melbourne, Australia, 28/08/2017. https://doi.org/10.1007/978-3-319-66158-2_41

Reduced Cost Fixing in MaxSAT. / Bacchus, Fahiem; Hyttinen, Antti ; Järvisalo, Matti ; Saikko, Paul.

Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017 Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. ed. / J. Christopher Beck. Cham : Springer International Publishing AG, 2017. p. 641-651 (Lecture Notes in Computer Science; Vol. 10416).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Reduced Cost Fixing in MaxSAT

AU - Bacchus, Fahiem

AU - Hyttinen, Antti

AU - Järvisalo, Matti

AU - Saikko, Paul

N1 - Conference code: 23

PY - 2017

Y1 - 2017

KW - 113 Computer and information sciences

U2 - 10.1007/978-3-319-66158-2_41

DO - 10.1007/978-3-319-66158-2_41

M3 - Conference contribution

SN - 978-3-319-66157-5

T3 - Lecture Notes in Computer Science

SP - 641

EP - 651

BT - Principles and Practice of Constraint Programming

A2 - Beck, J. Christopher

PB - Springer International Publishing AG

CY - Cham

T2 - International Conference on Principles and Practice of Constraint Programming

Y2 - 28 August 2017 through 1 September 2017

ER -

Bacchus F, Hyttinen A , Järvisalo M , Saikko P. Reduced Cost Fixing in MaxSAT. In Beck JC, editor, Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017 Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Cham: Springer International Publishing AG. 2017. p. 641-651. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-66158-2_41

Reduced Cost Fixing in MaxSAT

Publication series

Fields of Science

Access to Document

Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting

CP 2017 Distinguished Paper Award

Cite this