Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
saturation
Papers
Synthesis of Recursive Programs in Saturation
Petra Hozzová
,
Daneshvar Amrollahi
,
Márton Hajdu
,
Laura Kovács
,
Andrei Voronkov
and
Eva Maria Wagner
EasyChair Preprint no. 12145
Reducibility Constraints in Superposition
Márton Hajdu
,
Laura Kovács
,
Michael Rawson
and
Andrei Voronkov
EasyChair Preprint no. 12142
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-2024 easychair.org. All rights reserved.