Pàgines que enllacen amb «Problema de satisfacibilitat booleana»

Les següents pàgines enllacen amb Problema de satisfacibilitat booleana

Hi ha 16 elements.

• NP-complet (← enllaços | modifica)
• Problema de decisió (← enllaços | modifica)
• Complexitat computacional (← enllaços | modifica)
• NP (Complexitat) (← enllaços | modifica)
• Hilary Putnam (← enllaços | modifica)
• Leslie Valiant (← enllaços | modifica)
• ♯P (← enllaços | modifica)
• PSPACE-complet (← enllaços | modifica)
• Màquina oracle (← enllaços | modifica)
• Circuit booleà (← enllaços | modifica)
• Computació basada en ADN (← enllaços | modifica)
• Algorisme de Davis-Putnam (← enllaços | modifica)
• Composer (← enllaços | modifica)
• Eficàcia algorísmica (← enllaços | modifica)
• Generació automàtica de patrons de prova (← enllaços | modifica)
• Programació de conjunts de respostes (← enllaços | modifica)