Skip Navigation

Computer Science and Engineering

Educating for the Computing Age

Faculty Vita Format Report  (2006 - 2009)



 
 

Choueiry, Berthe

 
 
 

Faculty and Research Interests:

 
 
  choueiry
Title:  Associate Professor
Research Area:  Artificial intelligence, constraint satisfaction, abstraction and reformulation, scheduling and resource allocation, interactive, collaborative and distributed problem-solving
Contact Info:  choueiry@cse.unl.edu
http://cse.unl.edu/~choueiry
 
 
 

Book Publications:

 
 
  Berthe Y. Choueiry and Bob Givan."Special Issue of the Annals of Mathematics and Artificial Intelligence (AMAI) " Special Issue of the Annals of Mathematics and Artificial Intelligence.Ed.Guest Editors. Springer, 2009.  

  B. Benhamou, B.Y. Choueiry and B. Hnich., ed. Proceedings of the 7th International Workshop on Symmtry in Constraint Satisisfaction Problems (SymCon 2007).by. . Providence, RI.: CP 2007, 2007.  

  Praveen Guddeti and Berthe Y. Choueiry."Characterization of a New Restart Strategy for Randomized Backtrack Search" Recent Advances in Constraints.Ed.B. Faltings, A. Pectu, F. Pages, and F. Rossi. Berlin, Heidelberg: Springer Verlag, 2005.  

  Yaling Zheng and Berthe Y. Choueiry."New Structural Decomposition Techniques for Constraint Satisfaction Problems" Recent Advances in Constraints.Ed.B. Faltings, A. Pectu, F. Pages, and F. Rossi. Berlin, Heidelberg: Spring Verlag, 2005.  
 
 

Papers in Conference Proceedings:

 
 
  Martin Michalowski and Craig A. Knoblock and Berthe Martin Michalowski and Craig A. Knoblock and Berthe Y. Choueiry. "Exploiting Problem Data to Enrich Models of Constraint Problems." Proceedings of the 6th International Workshop On Constraint Modelling and Reformulation (ModRef07). (2007): 1-15  <http://consystlab.unl.edu/our_work/Papers/Micha...>  

  Martin Michalowski, Craig A. Knoblock, Ken M. Bayer, and Berthe Y. Choueiry. "Exploiting Automatically Inferred Constraint Models for Building Identification in Satellite Imagery." The 15th ACM International Symposium on Advances in Geographic Information Systems (ACM GIS 07). (2007): 35-42  

  Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, and Craig A. Knoblock. "Reformulating CSPs for Scalability with Application to Geospatial Reasoning." Proceedings of the 13th International Conference on Principle and Practice of Constraint Programming. 4741 (2007): 164-179  

  Kenneth M. Bayer, Martin Michalowski, B.Y. Choueiry, and Craig A. Knoblock. "Reformulating Constraint Satisfaction Problems to Improve Scalability." Seventh International Symposium on Abstraction, Reformulation and Approximation (SARA 2007). 4612 (2007): 64-79  

  Martin Michalowski, Craig A. Knoblock, and Berthe Y. Choueiry. "Reformulating Constraint Models Using Input Data." Seventh International Symposium on Abstraction, Reformulation and Approximation} (SARA 2007). 4612 (2007): 402-403  

  Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, and Berthe Y. Choueiry. "An Interactive Constraint-Based Approach to Sudoku." AAAI 2007. (2007): 1976-1977  

  Ken M. Bayer, Josh Snyder, and Berthe Y. Choueiry. "An Interactive Constraint-Based Approach to Minesweeper." 22nd Conference on Artificial Intellifence (AAAI 2006). 2 (2006): 1933-1934  
 
 

Technical Reports:

 
 
  Shant K. Karakashian, Robert J. Woodward and Berthe Y. Choueiry\. Exploring Parameterized Relational Consistency. 06/23/2009. Download:TR-UNL-CSE-2009-0009pdf  

  Shant Karakashian. Algorithm for Removing Redundant Edges in the Dual Graph of a Non-Binary CSP. 10/12/2008. Download:TR-UNL-CSE-2008-0011pdf  

  Shant Karakashian, José Luis Ambite, and Berthe Y. Choueiry. Size Estimation of Query Results Using Histograms. 11/12/2008. Download:TR-UNL-CSE-2008-0010pdf  

  Shant Kirakos Karakashian, José Luis Ambite, and Berthe Y. Choueiry . CSP Solving by Constraint Joining. 10/12/2008. Download:TR-UNL-CSE-2008-0009pdf  

  Ken Bayer. A Guide for Effectively Running Experiments on Condor. 04/08/2007. TR-UNL-CSE-2007-0027  
 
Cached Ver Nov 20th 2009