Upper and lower bounds on the complexity of generalised resolution and generalised constraint satisfaction problems

From MaRDI portal
(Redirected from Publication:1430293)