Rorabaugh, Danny; Tardif, Claude; Wehlau, David Logical compactness and constraint satisfaction problems. (English) Zbl 1448.03020 Log. Methods Comput. Sci. 13, No. 1, Paper No. 1, 11 p. (2017). MSC: 03C07 03C50 03E05 03E65 08A02 08A70 68Q19 68T20 PDFBibTeX XMLCite \textit{D. Rorabaugh} et al., Log. Methods Comput. Sci. 13, No. 1, Paper No. 1, 11 p. (2017; Zbl 1448.03020) Full Text: DOI arXiv
Skelley, Alan; Thapen, Neil The provably total search problems of bounded arithmetic. (English) Zbl 1225.03081 Proc. Lond. Math. Soc. (3) 103, No. 1, 106-138 (2011). MSC: 03F30 03F20 68Q15 PDFBibTeX XMLCite \textit{A. Skelley} and \textit{N. Thapen}, Proc. Lond. Math. Soc. (3) 103, No. 1, 106--138 (2011; Zbl 1225.03081) Full Text: DOI
Mundici, Daniele Ulam game, the logic of MAXSAT, and many-valued partitions. (English) Zbl 1122.03306 Dubois, Didier (ed.) et al., Fuzzy sets, logics and reasoning about knowledge. Dordrecht: Kluwer Academic Publishers (ISBN 0-7923-5977-1/hbk). Appl. Log. Ser. 15, 121-137 (1999). Reviewer: Slavcho Shtrakov (MR1796602 (2001m:03052)) MSC: 03B50 68T20 91A46 03D15 68Q17 91A80 PDFBibTeX XMLCite \textit{D. Mundici}, Appl. Log. Ser. 15, 121--137 (1999; Zbl 1122.03306)
Purdom, Paul Walton jun.; Haven, G. Neil Probe order backtracking. (English) Zbl 0870.68134 SIAM J. Comput. 26, No. 2, 456-483 (1997). MSC: 68T15 68Q25 68W10 03B05 05A16 PDFBibTeX XMLCite \textit{P. W. Purdom jun.} and \textit{G. N. Haven}, SIAM J. Comput. 26, No. 2, 456--483 (1997; Zbl 0870.68134) Full Text: DOI
Blass, Andreas Questions and answers – a category arising in linear logic, complexity theory, and set theory. (English) Zbl 0823.03039 Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 61-81 (1995). MSC: 03G30 03E05 68Q25 03F65 03E75 18B99 PDFBibTeX XMLCite \textit{A. Blass}, Lond. Math. Soc. Lect. Note Ser. 222, 61--81 (1995; Zbl 0823.03039) Full Text: arXiv