Satisfiability threshold for random regular \textsc{nae-sat} (Q5963757)

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

Satisfiability threshold for random regular \textsc{nae-sat}