1 / 4

Advanced Constraint Processing CSCE 921, Spring 2013 cse.unl/~choueiry/S13-921

Topics. Advanced Constraint Processing CSCE 921, Spring 2013 www.cse.unl.edu/~choueiry/S13-921 Berthe Y. Choueiry (Shu-we-ri) Avery Hall, 360 choueiry@cse.unl.edu Tel: +1(402)472-5444. Sources. Chapters from Handbook of Constraint Programming Chapters from Dechter Research papers

nuncio
Download Presentation

Advanced Constraint Processing CSCE 921, Spring 2013 cse.unl/~choueiry/S13-921

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Topics Advanced Constraint Processing CSCE 921, Spring 2013 www.cse.unl.edu/~choueiry/S13-921 Berthe Y. Choueiry (Shu-we-ri) Avery Hall, 360 choueiry@cse.unl.edu Tel: +1(402)472-5444 Guidelines for reports

  2. Sources • Chapters from Handbook of Constraint Programming • Chapters from Dechter • Research papers • IJCAI, AAAI, CP, ECAI, JAIR, JACM, J of Algorithms, etc. Guidelines for reports

  3. Constraint Processing (Dechter) • Tree Decomposition Methods (9) • Temporal Constraint Networks (12) • Inference for Boolean Theories (8.4) • Row-convex constraints (8.5) Guidelines for reports

  4. Research Topics • SAT and Constraint Propagation • Tractability studies • SMT Solvers • Interchangeability & Symmetry • Freuder 1991 • Smith et al., CP 2005 • Papers you always wanted to read/discuss but never got around doing it.. Guidelines for reports

More Related