van Maaren, Hans A short note on some tractable cases of the satisfiability problem. (English) Zbl 1046.68542 Inf. Comput. 158, No. 2, 125-130 (2000). MSC: 68Q25 PDFBibTeX XMLCite \textit{H. van Maaren}, Inf. Comput. 158, No. 2, 125--130 (2000; Zbl 1046.68542) Full Text: DOI
van Maaren, Hans Elliptic approximations of propositional formulae. (English) Zbl 0941.68063 Discrete Appl. Math. 96-97, 223-244 (1999). MSC: 68Q25 90C09 90C10 90C27 PDFBibTeX XMLCite \textit{H. van Maaren}, Discrete Appl. Math. 96--97, 223--244 (1999; Zbl 0941.68063) Full Text: DOI
Van Maaren, Hans Pivoting algorithms based on Boolean vector labeling. (English) Zbl 0896.90170 Acta Math. Vietnam. 22, No. 1, 183-198 (1997). MSC: 90C48 91B50 65H20 PDFBibTeX XMLCite \textit{H. Van Maaren}, Acta Math. Vietnam. 22, No. 1, 183--198 (1997; Zbl 0896.90170)
van Maaren, Hans On the use of second order derivatives for the satisfiability problem. (English) Zbl 0889.68075 Du, Dingzhu (ed.) et al., Satisfiability problem: theory and applications. DIMACS workshop, Piscataway, NJ, USA, March 11-13, 1996. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 35, 677-687 (1997). MSC: 68Q25 90C09 90C10 90C27 68T20 PDFBibTeX XMLCite \textit{H. van Maaren}, DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 35, 677--687 (1997; Zbl 0889.68075)
van Maaren, Hans Fixed point theory in multiply ordered spaces. (English) Zbl 0769.54052 Fixed point theory and applications, Proc. Int. Conf., Marseille- Luminy/Fr. 1989, Pitman Res. Notes Math. Ser. 252, 407-423 (1991). Reviewer: A.C.Thompson (Halifax) MSC: 54H25 54F05 52A37 91B52 PDFBibTeX XMLCite \textit{H. van Maaren}, in: Fixed points of area-preserving annulus homeomorphisms. . 407--423 (1991; Zbl 0769.54052)
van Maaren, Hans Generalized pivoting and coalitions. (English) Zbl 0701.90095 The computation and modelling of economic equilibria, Pap. Conf., Tilburg/Netherl. 1985, Contrib. Econ. Anal. 167, 155-176 (1987). Reviewer: H.van Maaren MSC: 90C99 91B50 91A12 90C90 55M20 54H25 PDFBibTeX XML
Van Maaren, H. On the localization of recession points. (English) Zbl 0582.90081 Cah. Cent. Étud. Rech. Opér. 27, 255-260 (1985). Reviewer: H. Van Maaren MSC: 90C30 54H25 PDFBibTeX XMLCite \textit{H. Van Maaren}, Cah. Cent. Étud. Rech. Opér. 27, 255--260 (1985; Zbl 0582.90081)
van Maaren, H. A degree theorem and decision methods for algebras of affine forms. (English) Zbl 0468.08007 Indag. Math. 43, 315-324 (1981). MSC: 08A40 08B20 PDFBibTeX XMLCite \textit{H. van Maaren}, Indag. Math. 43, 315--324 (1981; Zbl 0468.08007)
van Maaren, H. Pseudo-ordered fields. (English) Zbl 0292.12105 Nederl. Akad. Wet., Proc., Ser. A 77, 463-476 (1974). MSC: 12J15 06F25 PDFBibTeX XMLCite \textit{H. van Maaren}, Nederl. Akad. Wet., Proc., Ser. A 77, 463--476 (1974; Zbl 0292.12105)