@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
98 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…
6,926 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
2,128 followers
SAT2015は今日から開催。僕は参加できないけれど、予稿集がオープンアクセスになっていて素晴らし。 http://t.co/nd6OQo4e1G… https://t.co/kVY2PWJSLq http://t.co/bQZA6bDiWt