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

DOI10.1007/3-540-51517-8_146MaRDI QIDQ5393371zbMATH OpenOpenAlexFDO

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5393371)