scholarly journals Aleph Field Solver Challenge Problem Results Summary

2015 ◽  
Author(s):  
Russell Hooper ◽  
Stan Gerald Moore
Keyword(s):  
Solver Challenge

scholarly journals The VeRoLog solver challenge 2016–2017

2017 ◽  
Vol 1 (1) ◽  
pp. 69-71 ◽  
Author(s):  
Wout Dullaert ◽  
Joaquim Gromicho ◽  
Jelke van Hoorn ◽  
Gerhard Post ◽  
Daniele Vigo
Keyword(s):  
Solver Challenge

scholarly journals The VeRoLog Solver Challenge 2019

2019 ◽  
Vol 2 (1-4) ◽  
pp. 109-111 ◽  
Author(s):  
Joaquim Gromicho ◽  
Pim van ’t Hof ◽  
Daniele Vigo
Keyword(s):  
Solver Challenge

scholarly journals The Configurable SAT Solver Challenge (CSSC)

2017 ◽  
Vol 243 ◽  
pp. 1-25 ◽  
Author(s):  
Frank Hutter ◽  
Marius Lindauer ◽  
Adrian Balint ◽  
Sam Bayless ◽  
Holger Hoos ◽  
...  
Keyword(s):  
Sat Solver ◽  
Solver Challenge

scholarly journals Columnwise neighborhood search: A novel set partitioning matheuristic and its application to the VeRoLog Solver Challenge 2019

Networks ◽  
2020 ◽  
Vol 76 (2) ◽  
pp. 273-293
Author(s):  
Caroline J. Jagtenberg ◽  
Oliver J. Maclaren ◽  
Andrew J. Mason ◽  
Andrea Raith ◽  
Kevin Shen ◽  
...  
Keyword(s):  
Set Partitioning ◽  
Neighborhood Search ◽  
Solver Challenge
Sign in / Sign up

Export Citation Format

Share Document