Algebras for combinatorial search
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 612877
- Algorithmic Algebraic Combinatorics and Gröbner Bases
- Combinatorial search: from algorithms to systems
- Computer algebra libraries for combinatorial structures
- An Algebraic Model for Combinatorial Problems
- On the algebraic structure of combinatorial problems
- scientific article; zbMATH DE number 428989
- scientific article; zbMATH DE number 41347
- scientific article; zbMATH DE number 1182724
- scientific article; zbMATH DE number 1539537
Cites work
- Backtracking, interleaving, and terminating monad transformers (functional pearl)
- Combinators for breadth-first search
- scientific article; zbMATH DE number 3476270 (Why is no real title available?)
- scientific article; zbMATH DE number 783783 (Why is no real title available?)
- Prolog's control constructs in a functional setting -- axioms and implementation
- The under-appreciated unfold
Cited in
(10)- Searching around \(H_*^{alg}(-)\)
- Computer algebra libraries for combinatorial structures
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- Composable discovery engines for interactive theorem proving
- scientific article; zbMATH DE number 3986685 (Why is no real title available?)
- List Objects with Algebraic Structure
- Artificial Intelligence and Symbolic Computation
- Algorithm design with the selection monad
- Structured handling of scoped effects
- The formal theory of relative monads
This page was built for publication: Algebras for combinatorial search
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638924)
