Paper-Conference

Differentiable integer linear programming

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
Large language model for multiobjective evolutionary optimization

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
Betterv: Controlled verilog generation with discriminative guidance

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
DiffSAT: Differential MaxSAT Layer for SAT Solving

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
Grass: Combining graph neural networks with expert knowledge for sat solver selection

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
Neuroselect: Learning to select clauses in sat solvers

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
Parallel gröbner basis rewriting and memory optimization for efficient multiplier verification

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
Rethinking branching on exact combinatorial optimization solver: The first deep symbolic discovery framework

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
Towards general algorithm discovery for combinatorial optimization: Learning symbolic branching policy from bipartite graph

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
Deepgate2: Functionality-aware circuit representation learning

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite