000			01450cam a22003374a 4500
001			12196852
005			20170608101802.0
008			001006s2001 pau b 001 0 eng
010			_a 00050988
020			_a9780898714791
040			_aDLC _cDLC _dDLC
042			_apcc
050	0	0	_aQA267.7 _b.C74 2001
082	0	0	_a511.3 _221 _bCRE-C
100	1		_aCreignou, Nadia
245	1	0	_aComplexity classifications of Boolean constraint satisfaction problems _cNadia Creignou, Sanjeev Khanna, Madhu Sudan.
260			_aPhiladelphia : _bSociety for Industrial and Applied Mathematics, _c©2001.
300			_axii, 106 p. ; _c26 cm.
440		0	_aSIAM monographs on discrete mathematics and applications
504			_aIncludes bibliographical references (p. 97-102) and index.
650		0	_aComputational complexity.
650		0	_aConstraints (Artificial intelligence)
650		0	_aBoolean algebra.
700	1		_aKhanna, Sanjeev
700	1		_aSudan, Madhu
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0708/00050988-d.html
856	4	1	_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0708/00050988-t.html
906			_a7 _bcbc _corignew _d1 _eocip _f20 _gy-gencatlg
942			_2ddc _cBK
999			_c9355 _d9355