Harvey, Warwick; Stuckey, Peter J.; Borning, Alan Fourier elimination for compiling constraint hierarchies. (English) Zbl 1018.68020 Constraints 7, No. 2, 199-219 (2002). MSC: 68N20 × Cite Format Result Cite Review PDF Full Text: DOI
Chiu, C. K.; Chou, C. M.; Lee, J. H. M.; Leung, H. F.; Leung, Y. W. A constraint-based interactive train rescheduling tool. (English) Zbl 0994.68532 Constraints 7, No. 2, 167-198 (2002). MSC: 68U99 68N99 × Cite Format Result Cite Review PDF Full Text: DOI
Lau, Hoong Chuin A new approach for weighted constraint satisfaction. (English) Zbl 1019.68104 Constraints 7, No. 2, 151-165 (2002). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: DOI
Werghi, Naoufel; Fisher, Robert; Ashbrook, Anthony; Robertson, Craig Shape reconstruction incorporating multiple nonlinear geometric constraints. (English) Zbl 1019.68118 Constraints 7, No. 2, 117-149 (2002). MSC: 68U05 × Cite Format Result Cite Review PDF Full Text: DOI
Leung, Allen; Palem, Krishna V.; Pnueli, Amir TimeC: A time constraint language for ILP processor compilation. (English) Zbl 1019.68028 Constraints 7, No. 2, 75-115 (2002). MSC: 68N20 × Cite Format Result Cite Review PDF Full Text: DOI