Need help designing a multi-threaded solver

[Larz60+]

Originally I had this game confused with a much simpler one (I think it was called qubit), sorry about that.

I've been reading the article in http://www.aiexp.info/files/allis-thesis.pdf from last post, and realize
the complexity now.

This chapter seems to have some useful algorithms (for Qubic), as well as pseudo code for same.