Paper about PSCV
May 25, 2016
Paper about PSCV at CAV 2016.
Read More
Additional Functions for Lists
May 23, 2016
Additional functions for lists in the standard library.
Read More
Shortest Substring Contains a List of Strings
May 22, 2016
Given a string s and a list of strings ls. Find a shortest substring of s that contains all strings in a list of strings ls.
Read More
Writing Notes on Github with Jekyll
May 22, 2016
I decided to write my notes (aka blogs) on GitHub cooperating with Jekyll instead of WordPress.
Read More