A survey on snarks and new results: Products, reducibility and a computer search