Skip to content

On the Limit of Branching Rules for Hard Random Unsatisfiable 3-SAT.

Chu Min Li, Sylvain Grard

VenueAECAI
Year2000
ProceedingsECAI

Browse the full ECAI paper archive.