Sylvain Riondet e0267895@u.nus.edu / sylvainriondet@gmail.com 2018/05/12 National University of Singapore / SoC / CS4244 Knowledge Based Systems Supervisor: Professor Kuldeep S. Meel Project : SAT solver
Sylvain, trying to code a SAT solver: "what is normal conjunctive form??"