Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT

Add code
Oct 29, 2015
Figure 1 for Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT
Figure 2 for Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: