Using automatic program synthesizer as a problem solver: Some interesting experiments

DOI10.1007/3-540-51517-8_146zbMath1209.68690OpenAlexW1514514464MaRDI QIDQ5393371

Vladimír Vojtek, L'Udovit Molnar, Pavol Návrat

Publication date: 16 April 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-51517-8_146

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

This page was built for publication: Using automatic program synthesizer as a problem solver: Some interesting experiments