HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:saturation

Papers
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
Copyright © 2012-2023 easychair.org. All rights reserved.