Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Aanderaa, Stål"'
This paper is a preliminary report on our search for new good examples of Hall's Conjecture. We present a new algorithm that will detect all good examples within a given search space. We have implemented the algorithm, and our executions have so far
Externí odkaz:
http://arxiv.org/abs/1401.4345
Publikováno v:
Mathematics of Computation, 2018 Nov 01. 87(314), 2903-2914.
Externí odkaz:
https://www.jstor.org/stable/90023884
Publikováno v:
The Journal of Symbolic Logic, 1982 Mar 01. 47(1), 110-130.
Externí odkaz:
https://www.jstor.org/stable/2273385
Autor:
Aanderaa, Stål, Goldfarb, Warren D.
Publikováno v:
The Journal of Symbolic Logic, 1974 Sep 01. 39(3), 509-518.
Externí odkaz:
https://www.jstor.org/stable/2272893
Autor:
Aanderaa, Stal O., Lewis, Harry R.
Publikováno v:
The Journal of Symbolic Logic, 1974 Sep 01. 39(3), 519-548.
Externí odkaz:
https://www.jstor.org/stable/2272894
Autor:
Cook, Stephen A., Aanderaa, Stål O.
Publikováno v:
Transactions of the American Mathematical Society, 1969 Aug 01. 142, 291-314.
Externí odkaz:
https://www.jstor.org/stable/1995359
Autor:
Aanderaa, Stål, Belsnes, Dag
Publikováno v:
The Journal of Symbolic Logic, 1971 Jun 01. 36(2), 229-239.
Externí odkaz:
https://www.jstor.org/stable/2270257
Autor:
Aanderaa, Stål, Fischer, Patrick C.
Publikováno v:
Journal of the ACM; Oct1967, Vol. 14 Issue 4, p677-682, 6p