Learning to select SAT encodings for pseudo-Boolean and linear integer constraints

SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints

(2021) Miquel Bofill et al.   ARTIFICIAL INTELLIGENCE

An MDD-based SAT encoding for pseudo-Boolean constraints with at-most-one relations

(2020) Miquel Bofill et al.   ARTIFICIAL INTELLIGENCE REVIEW

N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT

(2019) Aolong Zha et al.   CONSTRAINTS

Hyperparameters and tuning strategies for random forest

(2019) Philipp Probst et al.   Wiley Interdisciplinary Reviews-Data Mining and Knowledge Discovery

A New Look at BDDs for Pseudo-Boolean Constraints

(2018) I. Abío et al.   JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH

Automated Algorithm Selection: Survey and Perspectives

(2018) Pascal Kerschke et al.   EVOLUTIONARY COMPUTATION

AutoFolio: An Automatically Configured Algorithm Selector

(2015) Marius Lindauer et al.   JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH

meSAT: multiple encodings of CSP to SAT

(2014) Mirko Stojadinović et al.   CONSTRAINTS

Compiling finite linear CSP into SAT

(2008) Naoyuki Tamura et al.   CONSTRAINTS