Keyword:saturation

Publications
Synthesis of Recursive Programs in Saturation Petra Hozzová, Daneshvar Amrollahi, Márton Hajdu, Laura Kovács, Andrei Voronkov and Eva Maria Wagner EasyChair Preprint 12145
Reducibility Constraints in Superposition Marton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov EasyChair Preprint 12142
Program Synthesis in Saturation Petra Hozzová, Laura Kovács, Chase Norman and Andrei Voronkov EasyChair Preprint 10223
The Vampire Approach to Induction Marton Hajdu, Laura Kovacs, Michael Rawson and Andrei Voronkov EasyChair Preprint 9217
Histogram and Feature Encoding Based Fake Colorized Image Detection Using Machine Learning Yogesh Gaikwad and Jaishree Waghmare EasyChair Preprint 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 5830
Integer Induction in Saturation Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint 5176
Algebraic Indexing to Parallelize Atom Comparison in the ATP Saturation Loop Theodore Kim and Adam Pease In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
Rewriting and Inductive Reasoning Marton Hajdu, Laura Kovács and Michael Rawson In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Spawns of the Saturation Framework Sophie Tourret In:Proceedings of the 7th and 8th Vampire Workshop
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