狠狠撸

haskell sat satisfiability machine learning satisfiability modulo theories smt quantifier elimination dpll cdcl solver optimization compiler category theory categorical programming llw fusion deep learning matlab vault linear types type-state gtk ruby gc gnome jit llring proofsummit theorem proving arithmetic model checking clr generics net parametric polymorphism haskell2010 verification pointer-analysis gobject montague grammar ptq ml code generation modal logic coursera icse icse2017 concurrency race condition javascript web applicaiton python type system neural network sat solver smt solver formal verification adversarial example coverage software testing testing omega coq presburger algorithm real closed field computer algebra decidacility cad alloy software engineering model finding max-sat pbs pseudo boolean pbo theory combination mooc