Learning Polynomials over GF(2) in a SAT Solver

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:05
TitleLearning Polynomials over GF(2) in a SAT Solver
Publication TypeConference Paper
Year of Publication2012
AuthorsKatsirelos, G, Simon, L
Conference NameProc. of International Conference on Theory and Applications of Satisfiability Testing (SAT)
Date Publishedjun
Conference LocationTrento, Italie