3SAT

1. REDIRECT Boolean satisfiability problem#3-satisfiability

{{Redirect category shell|

{{R from subtopic}}

{{R with possibilities}}

}}