Karen E. Petrie

From MaRDI portal
(Redirected from Karen E. Petrie)



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