New Algorithms for Bidirectional Singleton Arc Consistency

Table 1

Results obtained on classical problems.

Problems	BiSAC-1		BiSAC-DF		BiSAC-DP
	Time (ms)	#chks (M)	Times (ms)	#chks (M)	Times (ms)	#chks (M)
15-queens	3813	229	1719	104	485	29
20-queens	26140	1763	11297	771	2672	174
25-queens	129031	8543	55781	3636	10750	687
15-pigeons	2672	182	1187	82	218	14
20-pigeons	20250	1491	9547	716	1109	82
25-pigeons	99828	7482	43860	3304	4141	299
⟨60,6,177⟩	6234	329	2484	155	1718	102
⟨80,6,316⟩	17093	1043	8938	544	5500	328
⟨100,5,495⟩	26156	1514	15171	914	9717	576