@BjornerNikolaj NICE! Yep, rephrasing is really useful! BTW, CCAnr is quite good & conceptually very clean: https://t.co/qIdBYYKCSg https://t.co/MSZ5xnLpIU In general Shaowei Cai's work in this domain is principled and easy to read. I wish mine was s
827 followers
97 followers
RT @jix_: during the stream I talked about the 3-tiered clause database reduction strategy, but I forgot to actually mention the paper it's…
596 followers
during the stream I talked about the 3-tiered clause database reduction strategy, but I forgot to actually mention the paper it's from: https://t.co/JnkTAfVP3c
6,985 followers
@sandyasm @skoularidou I'm wondering if this is intrinsically a combinatorial optimisation problem -- I'm not into this, but ML can be used for finding which heuristics, params, and solvers to use when tackling hard combinatorial problems, e.g. https://t.c