Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2023 easychair.org. All rights reserved.