References

AbioNORodriguezC11

Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, and Enric Rodríguez-Carbonell. Bdds for pseudo-boolean constraints–revisited. In International Conference on Theory and Applications of Satisfiability Testing, 61–75. Springer, 2011.

AnsoteguiM04

Carlos Ansótegui and Felip Manya. Mapping problems with finite-domain variables to problems with boolean variables. In International conference on theory and applications of satisfiability testing, 1–15. Springer, 2004.

AnsoteguiPS21

Carlos Ansótegui, Josep Pon, and Meinolf Sellmann. Boosting evolutionary algorithm configuration. Annals of Mathematics and Artificial Intelligence, 2021. URL: https://doi.org/10.1007/s10472-020-09726-y, doi:10.1007/s10472-020-09726-y.

AnsoteguiPST21

Carlos Ansótegui, Josep Pon, Meinolf Sellmann, and Kevin Tierney. Pydgga: distributed gga for automatic configuration. In Chu-Min Li and Felip Manyà, editors, Theory and Applications of Satisfiability Testing – SAT 2021, 11–20. Cham, 2021. Springer International Publishing.

AsinNORodriguezC09

Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, and Enric Rodríguez-Carbonell. Cardinality networks and their applications. In International Conference on Theory and Applications of Satisfiability Testing, 167–180. Springer, 2009.

BBJarvisaloM20

Fahiem Bacchus, Jeremias Berg, Matti Järvisalo, and Rubens Martins. Maxsat evaluation 2020: solver and benchmark descriptions. 2020.

BB03

Olivier Bailleux and Yacine Boufkhad. Efficient cnf encoding of boolean cardinality constraints. In International conference on principles and practice of constraint programming, 108–122. Springer, 2003.

EenSorensson06

Niklas Eén and Niklas Sörensson. Translating pseudo-boolean constraints into sat. Journal on Satisfiability, Boolean Modeling and Computation, 2(1-4):1–26, 2006.

HolldoblerMS12

Steffen Hölldobler, Norbert Manthey, and Peter Steinke. A compact encoding of pseudo-boolean constraints into sat. In Annual Conference on Artificial Intelligence, 107–118. Springer, 2012.

LBP10

Daniel Le Berre and Anne Parrain. The sat4j library, release 2.2. Journal on Satisfiability, Boolean Modeling and Computation, 7(2-3):59–64, 2010.

MPS14

Norbert Manthey, Tobias Philipp, and Peter Steinke. A more compact translation of pseudo-boolean constraints into cnf such that generalized arc consistency is maintained. In Joint German/Austrian Conference on Artificial Intelligence (Künstliche Intelligenz), 123–134. Springer, 2014.

Microsystems01

W. Gentzsch (Sun Microsystems). Sun grid engine: towards creating a compute power grid. In Proceedings of the 1st International Symposium on Cluster Computing and the Grid, CCGRID '01, 35. USA, 2001. IEEE Computer Society.

MIMS14

Antonio Morgado, Alexey Ignatiev, and Joao Marques-Silva. Mscg: robust core-guided maxsat solving. Journal on Satisfiability, Boolean Modeling and Computation, 9(1):129–134, 2014.

OLH+13

Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, and Hiroshi Fujita. Modulo based cnf encoding of cardinality constraints and its application to maxsat solvers. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, 9–17. IEEE, 2013.

pdt20

The pandas development team. Pandas-dev/pandas: pandas. February 2020. URL: https://doi.org/10.5281/zenodo.3509134, doi:10.5281/zenodo.3509134.

PR10

David Pisinger and Stefan Ropke. Large Neighborhood Search, pages 399–419. 09 2010. doi:10.1007/978-1-4419-1665-5_13.

Pre09

Steven David Prestwich. Cnf encodings. Handbook of satisfiability, 185:75–97, 2009.

Rou11

Olivier Roussel. Controlling a solver execution: the runsolver tool. JSAT, 7:139–144, 11 2011. doi:10.3233/SAT190083.

Sin05

Carsten Sinz. Towards an optimal cnf encoding of boolean cardinality constraints. In International conference on principles and practice of constraint programming, 827–831. Springer, 2005.

Tse83

G. S. Tseitin. On the Complexity of Derivation in Propositional Calculus, pages 466–483. Springer Berlin Heidelberg, Berlin, Heidelberg, 1983.

Yat03

T. Yato. On the np-completeness of the slither link puzzle. In 2003.

DonLibes21

Don Libes. Unbuffer man page. 2021. URL: https://linux.die.net/man/1/unbuffer.

LluisBiRossell21

Lluis Batlle i Rossell. Task spooler man page. 2021. URL: http://manpages.ubuntu.com/manpages/xenial/man1/tsp.1.html.

Nikoli21

Nikoli. Nikoli's slitherlink webpage. 2021. URL: https://www.nikoli.co.jp/en/puzzles/slitherlink.html.