Experiment design and administration for computer clusters for SAT-solvers (EDACC)
Journal on Satisfiability Boolean Modeling and Computation2010Vol. 7(2-3), pp. 77–82
Citations Over TimeTop 10% of 2010 papers
Abstract
The design of a SAT-solver or the modification of an existing one is always followed by a phase of intensive testing of the solver on a benchmark of instances. This task can be very time consuming even when using multi-core computers or computer clus
Related Papers
- → The South Asia Story: The First Sixty Years of US Relations with India and Pakistan(2017)5 cited
- Study and Two Types of Typical Usage of DataGrid Web Server Control(2005)
- Using DataGrid Control to Realize DataBase of Querying in VB6.0(2000)
- Susquehanna Chorale Spring Concert "Roots and Wings"(2017)
- → DETERMINING QUALITY REQUIREMENTS AT THE UNIVERSITIES TO IMPROVE THE QUALITY OF EDUCATION(2018)