Karen E. Petrie

From MaRDI portal
(Redirected from Person:622126)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Implementing logical connectives in constraint programming
Artificial Intelligence
2011-01-31Paper
Symmetry Definitions for Constraint Satisfaction Problems
Principles and Practice of Constraint Programming - CP 2005
2008-09-09Paper
Symmetry definitions for constraint satisfaction problems
Constraints
2006-11-03Paper
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science
2005-12-27Paper


Research outcomes over time


This page was built for person: Karen E. Petrie