Search results

Bugs in vertex ordering algorithms.

Status: Open.

#45 In AlgebraicJulia/StructuredDecompositions.jl;

· samuelsonric opened on Jan 11, 2025

Implement non-tree decompositions

Status: Open.

#44 In AlgebraicJulia/StructuredDecompositions.jl;

· jpfairbanks opened on Jan 10, 2025

Diagrams of C-Sets without repeated storage

Status: Open.

#42 In AlgebraicJulia/StructuredDecompositions.jl;

· jpfairbanks opened on Jan 10, 2025

Decompositions of arbitrary C-Sets

Status: Open.

#41 In AlgebraicJulia/StructuredDecompositions.jl;

· jpfairbanks opened on Jan 10, 2025

·  

First Implementation Paper

Sheaf theoretic approach to other graph algorithms

Status: Open.

#40 In AlgebraicJulia/StructuredDecompositions.jl;

· jpfairbanks opened on Jan 10, 2025

Add scheduling for creating scheduled UWDs

Status: Open.

#37 In AlgebraicJulia/StructuredDecompositions.jl;

· jpfairbanks opened on Jan 10, 2025

Finding more CSPs that are interesting

Status: Open.

#24 In AlgebraicJulia/StructuredDecompositions.jl;

· jpfairbanks opened on Nov 8, 2024

·  

First Implementation Paper

Implementing the Backtracking to exhibit the satisfying assignments.

Status: Open.

#22 In AlgebraicJulia/StructuredDecompositions.jl;

· jpfairbanks opened on Nov 8, 2024

Comparison to the smart limit algorithm in Catlab

Status: Open.

#10 In AlgebraicJulia/StructuredDecompositions.jl;

· jpfairbanks opened on Sep 13, 2024

·  

First Implementation Paper

Register StructuredDecompositions.jl

Status: Open.

#9 In AlgebraicJulia/StructuredDecompositions.jl;

· quffaro opened on Jul 1, 2024

·  

First Implementation Paper