Chawdhary, Aziem; Robbins, Ed; King, Andy Incrementally closing octagons. (English) Zbl 1425.68242 Form. Methods Syst. Des. 54, No. 2, 232-277 (2019). MSC: 68Q55 68N30 PDFBibTeX XMLCite \textit{A. Chawdhary} et al., Form. Methods Syst. Des. 54, No. 2, 232--277 (2019; Zbl 1425.68242) Full Text: DOI arXiv
Howe, Jacob M.; King, Andy; Simon, Axel Incremental closure for systems of two variables per inequality. (English) Zbl 1417.68103 Theor. Comput. Sci. 768, 1-42 (2019). MSC: 68Q60 68N30 68Q55 68W40 90C05 PDFBibTeX XMLCite \textit{J. M. Howe} et al., Theor. Comput. Sci. 768, 1--42 (2019; Zbl 1417.68103) Full Text: DOI
Chawdhary, Aziem; King, Andy Compact difference bound matrices. (English) Zbl 1503.68177 Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 471-490 (2017). MSC: 68Q55 68P05 PDFBibTeX XMLCite \textit{A. Chawdhary} and \textit{A. King}, Lect. Notes Comput. Sci. 10695, 471--490 (2017; Zbl 1503.68177) Full Text: DOI
Howe, Jacob M.; King, Andy Abstracting numeric constraints with Boolean functions. (English) Zbl 1339.68045 Inf. Process. Lett. 75, No. 1-2, 17-23 (2000). MSC: 68N30 68N20 PDFBibTeX XMLCite \textit{J. M. Howe} and \textit{A. King}, Inf. Process. Lett. 75, No. 1--2, 17--23 (2000; Zbl 1339.68045) Full Text: DOI