| paper | todos | timeline | | |------------------------------------------------------------------|-------------------------------------|-----------------|-------------| | | implementation (#21 #23 ) | Aug 26 | Dekel | | [Computational basis & Different encoding of equivalence checking](https://www.overleaf.com/8368188654yjdkfzzjxckz#7b644f) | experimental evaluation | Aug 28 - Sep 3 | May | | | first draft | Aug 26 - Sep 6 | May | | | implementation ([small improvements](https://github.com/JingyiMei98/synthesis_wmc/issues/6)) | Sep 3 - Sep 6 | Dekel | | [Synthesis & Approximative Equivalence checking](https://www.overleaf.com/4691552873hyjncjvfrkyr#0c0b2d) | experimental evaluation | Sep 9 - Sep 13 | Dekel | | | first draft | Sep 16 - Sep 20 | Dekel & May | Between Aug 28 - Sep 3, Dekel will work on implementing #22
Between Aug 28 - Sep 3, Dekel will work on implementing #22