Login / Signup
Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT (Tool Paper).
Ilya V. Otpuschennikov
Alexander A. Semenov
Stepan Kochemazov
Published in:
CoRR (2014)
Keyphrases
</>
analysis tool
neural network
software tools
natural language descriptions