Welcome to the
Constraint Systems Laboratory (ConSystLab)

Department of Computer Science & Engineering
University of Nebraska-Lincoln

Founded and directed by Berthe Y. Choueiry.

Our research is concerned with both theoretic and practical aspects of Constraint Processing, a sub-area of Artificial Intelligence. We believe that Constraint Processing provides the right tools for modeling and solving a wide variety of combinatorial problems spanning over many areas in Computer Science, Engineering, and Management. Our investigations address both the theoretical and applied aspects of Constraint Processing.

Wonder what CP is about?
Check our implementations of Minesweeper and Sudoku
and watch constraint propagation at work in a familiar context!

Robert Woodwards (Sophomore, CS) is awarded the Barry M. Golwater Scholarship. He is one of nine CS major in the entire nation to receive this prestigious award. "Competition for the Scholarship is exceedingly intense. As a result, the Scholarship is widely considered the most prestigious award in the U.S. conferred upon undergraduates studying the sciences" [ Wikipedia]. April, 2008.

Anagh Lal is selected as the recipient of the 2006 Folsom Distinguished Master's Thesis Award.