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