84:
74:
53:
256:
179:
158:
22:
526:
That’s right. However, the section needs more reorganization: the
Creignou and Hermann #SAT dichotomy is simply that the affine case is in P, and everything else is #P-complete. The stuff about Mal'tsev polynomials (which comes from the Bulatov and Dalmau paper) is only relevant for non-Boolean
277:
301:
140:
441:
358:
296:
580:
229:
219:
504:
I replaced the reference to the
Bulatov-Dalmau paper with the reference to the Creignou-Hermann paper, where dichotomy result for counting boolean CSP appears first.
585:
575:
195:
570:
403:
130:
565:
377:
242:
186:
163:
106:
466:
349:
511:
330:
97:
58:
539:
I've taken a crack at this reorganization, splitting into binary and nonbinary paragraphs and citing the relevant paper in each.
422:
387:
268:
33:
397:
311:
432:
194:
related articles on
Knowledge. If you would like to participate, please visit the project page, where you can join
459:
21:
515:
368:
39:
83:
507:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
544:
89:
73:
52:
287:
548:
534:
519:
339:
191:
531:
413:
255:
278:
Requested articles/Applied arts and sciences/Computer science, computing, and
Internet
559:
540:
102:
528:
79:
320:
178:
157:
396:
Find pictures for the biographies of computer scientists (see
15:
527:
CSP’s, but then it is no longer a sufficient condition.—
190:, a collaborative effort to improve the coverage of
101:, a collaborative effort to improve the coverage of
302:Computer science articles needing expert attention
442:WikiProject Computer science/Unreferenced BLPs
8:
359:Computer science articles without infoboxes
297:Computer science articles needing attention
263:Here are some tasks awaiting attention:
237:
152:
47:
19:
581:Low-importance Computer science articles
154:
49:
204:Knowledge:WikiProject Computer science
586:WikiProject Computer science articles
207:Template:WikiProject Computer science
7:
576:Stub-Class Computer science articles
184:This article is within the scope of
95:This article is within the scope of
38:It is of interest to the following
378:Timeline of computing 2020–present
14:
571:Low-priority mathematics articles
404:Computing articles needing images
115:Knowledge:WikiProject Mathematics
254:
177:
156:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
566:Stub-Class mathematics articles
224:This article has been rated as
135:This article has been rated as
1:
549:00:01, 17 November 2023 (UTC)
458:Tag all relevant articles in
198:and see a list of open tasks.
109:and see a list of open tasks.
467:WikiProject Computer science
243:WikiProject Computer science
187:WikiProject Computer science
398:List of computer scientists
602:
230:project's importance scale
535:16:58, 7 March 2013 (UTC)
520:15:28, 7 March 2013 (UTC)
460:Category:Computer science
236:
223:
210:Computer science articles
172:
134:
67:
46:
462:and sub-categories with
141:project's priority scale
98:WikiProject Mathematics
423:Computer science stubs
28:This article is rated
241:Things you can help
121:mathematics articles
90:Mathematics portal
34:content assessment
510:comment added by
497:
496:
493:
492:
489:
488:
485:
484:
481:
480:
151:
150:
147:
146:
593:
522:
471:
465:
340:Computer science
269:Article requests
258:
251:
250:
238:
212:
211:
208:
205:
202:
201:Computer science
192:Computer science
181:
174:
173:
168:
164:Computer science
160:
153:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
601:
600:
596:
595:
594:
592:
591:
590:
556:
555:
505:
502:
477:
474:
469:
463:
451:Project-related
446:
427:
408:
382:
363:
344:
325:
306:
282:
209:
206:
203:
200:
199:
166:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
599:
597:
589:
588:
583:
578:
573:
568:
558:
557:
554:
553:
552:
551:
501:
498:
495:
494:
491:
490:
487:
486:
483:
482:
479:
478:
476:
475:
473:
472:
455:
447:
445:
444:
438:
428:
426:
425:
419:
409:
407:
406:
401:
393:
383:
381:
380:
374:
364:
362:
361:
355:
345:
343:
342:
336:
326:
324:
323:
317:
307:
305:
304:
299:
293:
283:
281:
280:
274:
262:
260:
259:
247:
246:
234:
233:
226:Low-importance
222:
216:
215:
213:
196:the discussion
182:
170:
169:
167:Low‑importance
161:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
598:
587:
584:
582:
579:
577:
574:
572:
569:
567:
564:
563:
561:
550:
546:
542:
538:
537:
536:
533:
530:
525:
524:
523:
521:
517:
513:
509:
499:
468:
461:
457:
456:
454:
452:
448:
443:
440:
439:
437:
435:
434:
429:
424:
421:
420:
418:
416:
415:
410:
405:
402:
399:
395:
394:
392:
390:
389:
384:
379:
376:
375:
373:
371:
370:
365:
360:
357:
356:
354:
352:
351:
346:
341:
338:
337:
335:
333:
332:
327:
322:
319:
318:
316:
314:
313:
308:
303:
300:
298:
295:
294:
292:
290:
289:
284:
279:
276:
275:
273:
271:
270:
265:
264:
261:
257:
253:
252:
249:
248:
244:
240:
239:
235:
231:
227:
221:
218:
217:
214:
197:
193:
189:
188:
183:
180:
176:
175:
171:
165:
162:
159:
155:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
541:Erik Demaine
512:193.55.176.1
506:— Preceding
503:
450:
449:
433:Unreferenced
431:
430:
412:
411:
386:
385:
367:
366:
348:
347:
329:
328:
310:
309:
286:
285:
267:
266:
225:
185:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
560:Categories
30:Stub-class
321:Computing
508:unsigned
500:Untitled
369:Maintain
312:Copyedit
350:Infobox
288:Cleanup
228:on the
139:on the
331:Expand
36:scale.
414:Stubs
388:Photo
245:with:
545:talk
529:Emil
516:talk
220:Low
131:Low
562::
547:)
532:J.
518:)
470:}}
464:{{
543:(
514:(
453::
436::
417::
400:)
391::
372::
353::
334::
315::
291::
272::
232:.
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.