Final Project Report
Chi-Cheng Lin, Winona State University CS430 Computer Graphics Color Theory.
Attribute Based Planning
1 SAT Solving As implemented in - DPLL solvers: GRASP, Chaff and - Stochastic solvers: GSAT.
Modeling Spatial- Chromatic Distribution for CBIR NTUT CSIE D.W. Lin 2004.3.19.
SAT-based Bounded Model Checking
Heuristics for Efficient SAT Solving