HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:heuristic search

Publications
Text Style Transfer in Persian Language using Deep Learning
Reza Khan Mohammadi and Seyed Abolghasem Mirroshandel
EasyChair Preprint 4690
Automated Theorem Proving, Fast and Slow
Michael Rawson and Giles Reger
EasyChair Preprint 4433
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-2025 easychair.org. All rights reserved.