Keyword:saturation

Papers
Program Synthesis in Saturation Petra Hozzová, Laura Kovács, Chase Norman and Andrei Voronkov EasyChair Preprint no. 10223
The Vampire Approach to Induction Márton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov EasyChair Preprint no. 9217
Histogram and Feature Encoding Based Fake Colorized Image Detection Using Machine Learning Yogesh Gaikwad and Jaishree Waghmare EasyChair Preprint no. 6025
Responses to Overload as Foundation for a Resilient Project and Organizational Health Metric Marisa Bigelow, Lisa Douglas, Alex Morison, Michael Smith and Jordan Haggit EasyChair Preprint no. 5830
Integer Induction in Saturation Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint no. 5176
Theory Exploration: a role for Model Theory? Alan Smaill In:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation