Segmentation de la sériation pour la résolution de ­ #SAT

We propose here a general method for approximating the number of solutions of a boolean formula in conjunctive normal form F. By applying the principle "divise to resolve", this method reduces considerably the computational complexity. It is based on cutting a seriation established on an incidence d...

תיאור מלא

מידע ביבליוגרפי

Principais autores:	Lerman, Israël-César, Rouat, Valérie
פורמט:	Artigo
שפה:	Francês
יצא לאור:	Centre d’analyse et de mathématique sociales de l’EHESS 1999
נושאים:	classification satisfiability complexity theory counting #p-complete problems seriation satisfiabilité théorie de la complexité dénombrement de solutions problèmes #p-complets sériation
גישה מקוונת:	https://doi.org/10.4000/msh.2793 https://hdl.handle.net/20.500.13089/iggr https://journals.openedition.org/msh/2793
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!