Boolean satisfiability problem

Mantık ve bilgisayar biliminde, Boolean doğrulanabilirlik problemi (Boolean satisfiability problem) belirli bir Boole ...