1. Roland Axelsson , Keijo Heljanko , and Martin Lange . 2008. Analyzing Context-Free Grammars Using an Incremental SAT Solver . In Automata, Languages, and Programming, Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, and Igor Walukiewicz (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 410--422. https://link.springer.com/chapter/10.1007%2F978--3--540--70583--3_34 Roland Axelsson, Keijo Heljanko, and Martin Lange. 2008. Analyzing Context-Free Grammars Using an Incremental SAT Solver. In Automata, Languages, and Programming, Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, and Igor Walukiewicz (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 410--422. https://link.springer.com/chapter/10.1007%2F978--3--540--70583--3_34
2. PicoSAT Essentials
3. Assessment and Classroom Learning;Black Paul;Assessment in Education,1998
4. John Bransford , Rodney R Cocking , and Ann L Brown . 2000. How people learn: Brain, mind, experience, and school (expanded edition) . National Academies Press . https://doi.org/10.17226/9853 John Bransford, Rodney R Cocking, and Ann L Brown. 2000. How people learn: Brain, mind, experience, and school (expanded edition) .National Academies Press. https://doi.org/10.17226/9853