You are here

Lazy Branching for Constraint Satisfaction

Authors: 

Deepak Mehta, Barry O'Sullivan, Lars Kotthoff, Yuri Malitsky

Publication Type: 
Refereed Conference Meeting Proceeding
Conference Name: 
International Conference on Tools with Artificial Intelligence
Proceedings: 
IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
Digital Object Identifer (DOI): 
10.na
Publication Date: 
04/11/2013
Conference Location: 
United States of America
Research Group: 
Personal Sensing
Institution: 
National University of Ireland, Cork (UCC)
Open access repository: 
No