Circuit satisfiability problem (source code)

= Circuit satisfiability problem
{c}
{wiki}

The circuit satisfiability problem asks whether a <Boolean circuit> has an input on which its designated output is one. It is <NP-completeness>[NP-complete].