Kai-Chen Huang

Learn More
The rapid increase in the availability of geospatial data has motivated the effort to seamlessly integrate this information into an information-rich and realistic 3D environment. However, heterogeneous data sources with varying degrees of consistency and accuracy pose a challenge to such efforts. We describe the Geospatial Decision Making (GeoDec) system,(More)
We present SOLVER, a Java applet that uses Constraint Processing (CP) techniques to assist human users in solving Sudoku puzzles. We also showcase CONSTRUCTOR, another applet that allows users to enter and store puzzles , which they can then load in SOLVER. These ap-plets are available from sudoku.unl.edu/Solver and su-doku.unl.edu/Constructor. Our goals(More)
In this thesis, we model the Sudoku puzzle, a known NP-complete problem [ Yato, 2003 ] , as a Constraint Satisfaction Problem (CSP) and investigate solving it using Constraint Processing (CP) techniques. We study and compare the effectiveness of several constraint propagation algorithms. We investigate the use of CP techniques to support interaction with(More)
We present SOLVER, a Java applet that uses Constraint Processing (CP) techniques to assist human users in solving Sudoku puzzles. We also showcase CONSTRUCTOR, another applet that allows users to enter and store puzzles , which they can then load in SOLVER. These ap-plets are available from sudoku.unl.edu/Solver and su-doku.unl.edu/Constructor. Our goals(More)
  • 1