An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks

Table 1

Encoding: binary, one-hot, and thermometer.

	Binary	One-hot	Thermometer
	000	00000001	00000001
	001	00000010	00000011
	010	00000100	00000111
	011	00001000	00001111
	100	00010000	00011111
	101	00100000	00111111
	110	01000000	01111111
	111	10000000	11111111