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