4 ms·Is meta-learning still useful for SAT solving (e.g SATzilla)?by anjc 7y agoIs meta-learning still useful for SAT solving (e.g SATzilla)?