9,822 followers
@Epystemon Also this: . https://t.co/1PzoxM6ykG . https://t.co/GhX0HH7IJ3
@Epystemon Also this: . https://t.co/1PzoxM6ykG . https://t.co/GhX0HH7IJ3
@masahiro_sakai Automata-Based Model Counting for String Constraints はこれか https://t.co/svxzeuiniP https://t.co/qw2GVEgKMz #ATVA
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation http://t.co/WD2ETwXjNe
Property-Directed Inference of Universal Invariants or Proving Their Absence. - Aleksandr Karbyshev, Nikolaj… http://t.co/t9gbB34lz4