Perhaps you should try some spelling variations:
maxsat problem » maxcut problem (Expand search), market problem (Expand search), last problem (Expand search)
binary maxsat » binary faust (Expand search), binary maps (Expand search), binary masks (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder binary » cover binary (Expand search), over binary (Expand search), under binary (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
in python » _ python (Expand search)

You may be able to get more results by adjusting your search query.

• Removing quotes may allow a broader search: (( coder coder binary maxsat problem ) OR ( in python python python programming ))~.