On the public citation graph

OR-parallel theorem proving with random competition

https://doi.org/10.1007/bfb0013064
0 signed · 31 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-18991-2_58openalex-snapshot
Superlinear speedup for parallel backtracking
inferredcites →https://doi.org/10.1007/3-540-52885-7_78openalex-snapshot
Partheo: A high-performance parallel theorem prover
inferredcites →https://doi.org/10.1007/3-540-55425-4_9openalex-snapshot
Random competition: A simple, but efficient method for parallelizing inference systems
inferredcites →https://doi.org/10.1007/978-1-4612-3390-9openalex-snapshot
Parallel Algorithms for Machine Intelligence and Vision
inferredcites →https://doi.org/10.1007/978-1-4612-3390-9_1openalex-snapshot
Scalable Parallel Formulations of Depth-First Search
inferredcites →https://doi.org/10.1007/bf00244282openalex-snapshot
SETHEO: A high-performance theorem prover
inferredcites →https://doi.org/10.1007/bf01414554openalex-snapshot
OR-parallel execution of Prolog on a multi-sequential machine
inferredcites →https://doi.org/10.1007/bfb0012869openalex-snapshot
Single axioms in the implicational propositional calculus
inferredcites →https://doi.org/10.2307/2274625openalex-snapshot
Larry Wos. Automated reasoning: 33 basic research problems. Prentice Hall, Englewood Cliffs, N.J., 1988, xiii + 319 pp.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-49545-2_10openalex-snapshot
Requirement-Based Cooperative Theorem Proving
inferred← citeshttps://doi.org/10.1007/3-540-57307-0_25openalex-snapshot
Optimal Multiprogramming Control for Parallel Computations
inferred← citeshttps://doi.org/10.1007/3-540-57785-8_163openalex-snapshot
Optimal parallelization of Las Vegas algorithms
inferred← citeshttps://doi.org/10.1007/3-540-61511-3_87openalex-snapshot
SiCoTHEO: Simple competitive parallel theorem provers
inferred← citeshttps://doi.org/10.1007/978-3-031-10769-6_38openalex-snapshot
Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description)
inferred← citeshttps://doi.org/10.1007/978-94-017-0435-9_14openalex-snapshot
Cooperating Theorem Provers
inferred← citeshttps://doi.org/10.1007/bf00881952openalex-snapshot
Tableau-based theorem provers: Systems and implementations
inferred← citeshttps://doi.org/10.1016/0020-0190(93)90029-9openalex-snapshot
Optimal speedup of Las Vegas algorithms
inferred← citeshttps://doi.org/10.1016/b978-0-444-81704-4.50015-6openalex-snapshot
Parallel Automated Theorem Proving
inferred← citeshttps://doi.org/10.1016/b978-0-444-81837-9.50017-8openalex-snapshot
Toward Real-Time Motion Planning
inferred← citeshttps://doi.org/10.1016/j.artint.2004.11.004openalex-snapshot
Partition-based logical reasoning for first-order and propositional theories
inferred← citeshttps://doi.org/10.1016/s0004-3702(02)00228-xopenalex-snapshot
Nagging: A scalable fault-tolerant paradigm for distributed search
inferred← citeshttps://doi.org/10.1016/s0923-0459(97)80012-2openalex-snapshot
SiCoTHEO—Simple competitive parallel theorem provers based on SETHEO
inferred← citeshttps://doi.org/10.1023/a:1005868304990openalex-snapshot
SPTHEO - A Parallel Theorem Prover
inferred← citeshttps://doi.org/10.1023/a:1006127022180openalex-snapshot
SPS-Parallelism + SETHEO = SPTHEO
inferred← citeshttps://doi.org/10.1023/a:1026283627113openalex-snapshot
Predicting the Performance of Randomized Parallel Search: An Application to Robot Motion Planning
inferred← citeshttps://doi.org/10.1109/icec.1995.489162openalex-snapshot
Parallel programming paradigm: Application to evolutionary computations
inferred← citeshttps://doi.org/10.1109/icsmc.1994.400079openalex-snapshot
Fast motion planning for articulated robots
inferred← citeshttps://doi.org/10.1109/isatp.1995.518771openalex-snapshot
Very fast motion planning for dexterous robots
inferred← citeshttps://doi.org/10.1109/istcs.1993.253477openalex-snapshot
Optimal speedup of Las Vegas algorithms
inferred← citeshttps://doi.org/10.1109/tencon.1994.369141openalex-snapshot
Probabilistic concurrent programming using multiset transactions
inferred← citeshttps://doi.org/10.5281/zenodo.209820openalex-snapshot
FIGURE 4. Gnathia micheli n in First records of peracarid crustaceans from the Cayo Matias Ocean Blue Hole, SW Cuba, with the description of two new species
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.