You are here

Dispensable Instantiations in Constraint Satisfaction Problems

Date: 
Thursday, 17 July, 2014
Organising Body: 
RCRA: Working group on Knowledge Representation and Automated Reasoning
Event Type: 
Workshop
Presentation Type: 
Paper
Event: 
21st RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion"
Location: 
Austria