Systematic generation of very hard cases for graph 3-colorability | IEEE Conference Publication | IEEE Xplore