Search results

E-graph optimization with boolean inference

Status: Open.

#11 In OptimalBranching/BooleanInference.jl;

· GiggleLiu opened on Jun 27, 2025

Benchmarks on first version

Status: Open.

#10 In OptimalBranching/BooleanInference.jl;

· nzy1997 opened on Jun 4, 2025

Include reduction rules

Status: Open.

#6 In OptimalBranching/BooleanInference.jl;

· GiggleLiu opened on Dec 27, 2024

Use degree 3 measure instead of number of vertices removed

Status: Open.

#5 In OptimalBranching/BooleanInference.jl;

· GiggleLiu opened on Dec 25, 2024

Use multiplier constraint directly

Status: Open.

#4 In OptimalBranching/BooleanInference.jl;

· nzy1997 opened on Dec 25, 2024

Optimize region selection strategy

Status: Open.

#3 In OptimalBranching/BooleanInference.jl;

· nzy1997 opened on Dec 25, 2024

Optimize candidate clause generation

Status: Open.

#2 In OptimalBranching/BooleanInference.jl;

· nzy1997 opened on Dec 25, 2024