PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction
Hubert Ming Chen and Victor Dalmau
Computer Science Logic (CSL) 2005.

Abstract

.

EPrint Type:Article
Project Keyword:Project Keyword UNSPECIFIED
Subjects:Theory & Algorithms
ID Code:1559
Deposited By:Hubert Ming Chen
Deposited On:28 November 2005