4,607 followers
@ShriramKMurthi @vardi @ksmeel @SMT_Solvers @logicpreacher Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering https://t.co/3xTMrZZNLb Modeling Diversity of Solutions https://t.co/cnQSXkIWCb and here's a broader brain-dump o