By the same authors

Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Full text download(s)

Author(s)

Department/unit(s)

Publication details

Title of host publication28th International Conference on Principles and Practice of Constraint Programming (CP 2022)
DateAccepted/In press - 29 Apr 2022
PublisherLIPICS
Volume235
Original languageEnglish

Bibliographical note

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Facilities/Equipment

  • Viking

    Facility/Equipment: Equipment

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations