Using automatic program synthesizer as a problem solver: Some interesting experiments
From MaRDI portal
Publication:5393371
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
This page was built for publication: Using automatic program synthesizer as a problem solver: Some interesting experiments