« first day (2658 days earlier)      last day (34 days later) » 

8:53 PM
3
Q: What is the generating algorithm for the "komb" instances found on satcompetition.org?

Sean BeardenFor the 2017 and 2018 Random SAT Tracks of the SAT Competition ran by the International Conference on Theory and Applications of Satisfiability Testing there are small, yet difficult, random 3-SAT problems with planted solutions labeled "barthel," "qhid," and "komb." I have been able to determin...

 

« first day (2658 days earlier)      last day (34 days later) »