Formula Caching in DPLL
- 期刊名称ACM Transactions on Computation Theory
- 作者Beame, Paul; Impagliazzo, Russell; Pitassi, Toniann; Segerlind, Nathan
- 卷第1卷
- 期第3期
- 印刷ISSN1942-3454
- 文件大小540.93KB
- 发表时间2010-03-01
- DOI10.1145/1714450.1714452
- 页码1-33
[ACM Press the twenty-fourth SIGCSE technical symposium - Indianapolis, Indiana, United States (1993.02.18-1993.02.19)] Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education - SIGCSE '93 - Computerized adaptive testing in computer scienceSyang, Angel; Dale, Nell B. · 1993
[Lecture Notes in Computer Science] Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach Volume 3562 || Computerized Adaptive Tests and Item Response Theory on a Distance Education PlatformMira, José; Álvarez, José R. · 2005
Teaching software engineering through game designClaypool, Kajal; Claypool, Mark · ACM SIGCSE Bulletin · 2005
Teaching students to hackLogan, Patricia Y.; Clarkson, Allen · ACM SIGCSE Bulletin · 2005
Using puzzles in teaching algorithmsLevitin, Anany; Papalaskari, Mary-Angela · ACM SIGCSE Bulletin · 2002
The CSedRes toolboxAlmstrum, Vicki L.; Wu, Cheng-Chih · ACM SIGCSE Bulletin · 1993
Introducing recursion by parking carsWirth, Michael · ACM SIGCSE Bulletin · 2008
Programming by choiceMaloney, John H.; Peppler, Kylie; Kafai, Yasmin; Resnick, Mitchel; Rusk, Natalie · ACM SIGCSE Bulletin · 2008
Guiding students through programming puzzlesRoss, John Minor · ACM SIGCSE Bulletin · 2002
Kinesthetic learning in the classroomBegel, Andrew; Garcia, Daniel D.; Wolfman, Steven A. · ACM SIGCSE Bulletin · 2004