Reduced Cost Fixing in MaxSAT

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationPrinciples and Practice of Constraint Programming : 23rd International Conference, CP 2017 Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings
EditorsJ. Christopher Beck
Number of pages11
Place of PublicationCham
PublisherSpringer International Publishing AG
Publication date2017
Pages641-651
ISBN (Print)978-3-319-66157-5
ISBN (Electronic)978-3-319-66158-2
DOIs
Publication statusPublished - 2017
MoE publication typeA4 Article in conference proceedings
EventInternational Conference on Principles and Practice of Constraint Programming - Melbourne, Australia
Duration: 28 Aug 20171 Sep 2017
Conference number: 23

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10416
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fields of Science

  • 113 Computer and information sciences

Cite this