Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem

This page provides access to source code and experimental data for a paper presented at CPAIOR'20 and to related source code to the submitted benchmarks of the SAT competition 2020.

Papers

Katalin Fazekas, Markus Sinnl, Armin Biere, Sophie Parragh. Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem. In Proc.  17th Intl. Conf. on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR'20), Lecture Notes in Computer Science (LNCS) vol. 12296, pages 186-204, Springer 2020.
[ preprint | bibtex | experiments ]

Katalin Fazekas, Armin Biere. Duplex Encoding of Antibandwidth Feasibility. In Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions, Tomas Balyo, Nils Froleyks, Marijn Heule, Markus Iser, Matti J√§rvisalo, Martin Suda (editors), vol. B-2020-1 of Department of Computer Science Report Series B, 2020. pages 81-82, University of Helsinki, 2020.
[ paper | bibtex | benchmarks ]

Current version of Duplex Encoder

The most recent source code of the Duplex Encoder (used for benchmark generation) is avaiable here.

Benchmark Submission to the SAT Competition 2020

The script to generate the submitted benchmarks of SC 2020 is avaiable here. See the comments at the beginning of the file about how to use it. The script expects the recent version (1.2) of the Duplex Encoder.

CPAIOR Submission

Problem instances of the experiments are here.

Log files of the experimental evaluation are here.

The source code of the Duplex Encoder used in the experiments is avaiable here.