From PSL to NBA: a Modular Symbolic Encoding.

Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta

Browse the full FMCAD paper archive.