Complexity classifications of Boolean constraint satisfaction problems
Nadia Creignou
Complexity classifications of Boolean constraint satisfaction problems - Socy.For Indl.& Appld.Maths.SIAM 2001 - 106
MD/1/0028/2009-10/02-05-09
Computational complexity
Constraints (Artificial intelligence)
Boolean algebra
Complexity classifications of Boolean constraint satisfaction problems - Socy.For Indl.& Appld.Maths.SIAM 2001 - 106
MD/1/0028/2009-10/02-05-09
Computational complexity
Constraints (Artificial intelligence)
Boolean algebra