Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

20240922 harmonic reduction #269

Draft
wants to merge 25 commits into
base: 20240916-vibrated-reduction
Choose a base branch
from
Draft

20240922 harmonic reduction #269

wants to merge 25 commits into from

Conversation

shnarazk
Copy link
Owner

@shnarazk shnarazk commented Sep 22, 2024 •
edited
Loading

Salvage good ideas from #273

  • revise some term definitions
  • Add/rename FlagClause::{NEW_CLAUSE|FORWD_LINK|BCKWD_LINK} in order to categorize clauses more correctly
  • call AssignStack::clear_asserted_literals before starting the next cycle to show the current status correctly.
  • The occurrence rate of newly generated clauses in unit propagation controlsClauseDB::reduce, while the Luby sequence controls vivify and simplify differently.
  • Remove Ewas
  • Implement Ema::reset_to
  • Being struggled so far 🫨
  • Stop "vibrated reduction" temporarily

@shnarazk shnarazk self-assigned this Sep 22, 2024
@shnarazk shnarazk force-pushed the 20240922-harmonic-reduction branch from a304e94 to 7e724df Compare September 23, 2024 09:56
@shnarazk shnarazk added the new scheme import some idea on papers label Nov 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@shnarazk shnarazk

Labels
new scheme import some idea on papers
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@shnarazk