Distributed parallel build for the Isabelle archive of formal proofs
From MaRDI portal
Cites work
- A branch-and-cut procedure for the multimode resource-constrained project-scheduling problem
- A multi-threaded local search algorithm and computer implementation for the multi-mode, resource-constrained multi-project scheduling problem
- A survey of hybrid metaheuristics for the resource-constrained project scheduling problem
- Approximability results for the resource-constrained project scheduling problem with a single type of resources
- Asynchronous processing of Coq documents: from the kernel up to the user interface
- Asynchronous user interaction and tool integration in Isabelle/PIDE
- Complexity Results for Multiprocessor Scheduling under Resource Constraints
- Formal entity graphs as complex networks: assessing centrality metrics of the archive of formal proofs
- Project scheduling with multiple modes: A genetic algorithm
- Proof repair infrastructure for supervised models: building a large proof repair dataset
- Scheduling subject to resource constraints: Classification and complexity
- Shared-memory multiprocessing for interactive theorem proving
- The Lean theorem prover (system description)
- When it is worthwhile to work with the stochastic RCPSP?
This page was built for publication: Distributed parallel build for the Isabelle archive of formal proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6860008)
