245 followers
Combining Relational Learning with SMT Solvers Using CEGAR. - Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori,… http://t.co/DYmxq7rvuH
Combining Relational Learning with SMT Solvers Using CEGAR. - Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori,… http://t.co/DYmxq7rvuH