Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
heuristic search
Papers
Automated Theorem Proving, Fast and Slow
Michael Rawson
and
Giles Reger
EasyChair Preprint no. 4433
Text Style Transfer in Persian Language using Deep Learning
Reza Khan Mohammadi
and
Sَeyed Abolghasem Mirroshandel
EasyChair Preprint no. 4690
Enhanced Simplified Memory-bounded A Star (SMA*+)
Justin Lovinger
and
Xiaoqin Zhang
In
:
GCAI 2017. 3rd Global Conference on Artificial Intelligence
Breeding Theorem Proving Heuristics with Genetic Algorithms
Simon Schäfer
and
Stephan Schulz
In
:
GCAI 2015. Global Conference on Artificial Intelligence
Copyright © 2012-2023 easychair.org. All rights reserved.