Zero-One Programming Using Non-Binary Tree-Search