论文信息 - OptiLog: A Framework for SAT-based Systems - 字舞流文

OptiLog: A Framework for SAT-based Systems

Carlos Ansótegui | Josep Pon | Eduard Torres | Jesus Ojeda | António Pacheco | Josep M. Salvia | C. Ansótegui | J. Pon | Eduard Torres | J. Ojeda | António Pacheco

[1] Armin Biere,et al. PicoSAT Essentials , 2008, J. Satisf. Boolean Model. Comput..

[2] Gilles Audemard,et al. SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers , 2020, SAT.

[3] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.

[4] Kevin Leyton-Brown,et al. Sequential Model-Based Optimization for General Algorithm Configuration , 2011, LION.

[5] Tobias Philipp,et al. PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF , 2015, SAT.

[6] Niklas Sörensson,et al. An Extensible SAT-solver , 2003, SAT.

[7] Manuel Laguna,et al. Fine-Tuning of Algorithms Using Fractional Experimental Designs and Local Search , 2006, Oper. Res..

[8] K. Jarrod Millman,et al. Array programming with NumPy , 2020, Nat..

[9] Marc Vinyals,et al. CNFgen: A Generator of Crafted Benchmarks , 2017, SAT.