Differences

This shows you the differences between two versions of the page.

--- current_research_projects [2016/10/05 17:47] – adolfont
+++ current_research_projects [2020/11/19 11:42] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
 ====== Current Research Projects ======
 ===== Format: Question + Project =====
+==== Logic-SAT ====
+What are the common features of the best SAT Solvers?
+Can you build an effective SAT Solver in a slow language like Clojure?
+==== Logic-Teaching ====
+Is it possible to help students learn Logic more and faster by providing them with tools that require concentration and text-based skills?
+==== Dojo-Teaching-Programming ====
+Is it possible to help students learn programming better and faster by introducing Coding Dojo Activities?