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

perf(solver): Improved implementation of STN propagation + clause mimization #151

Merged
merged 49 commits into from
Nov 22, 2024
Merged

perf(solver): Improved implementation of STN propagation + clause mimization #151

merged 49 commits into from
Nov 22, 2024

Conversation

arbimo
Copy link
Member

@arbimo arbimo commented Nov 22, 2024

No description provided.

arbimo added 30 commits October 9, 2024 13:32
@arbimo
chore(branching): Phase saving should not erase from any solution.
c07f446
@arbimo
chore(branching): Allow more variants of impact measurement.
d2c9ae7
@arbimo
feat(search): Allow lexical to choose between min or max value.
2c58e30
@arbimo
chore(knapsack): Improve the knapsack example to enable dynamic-progr…
0e1c500 
…amming like memoization.
@arbimo
opt(cp): Reduce the overhead of constraint propagation.
f0283d4
@arbimo
perf(collections): use an array instead of a bitset for RefSet.
641acfe
@arbimo
perf(sat): Use the dedicated reasoner for learnt clauses with a singl…
4a779e4 
…e literal.
@arbimo
feat(knapsack): Support bounded knapsack problems.
80b1994
@arbimo
feat(knapsack): Add a dynamic programming implementation fro 0/1 Knap…
e8eaaf7 
…sack
@arbimo
chore(sat) make sure we do not add false to the clause when extendi…
1f79e7a 
…ng it with the scope
@arbimo
feat(sat): add recursive clause minimization.
474d0de
@arbimo
Merge branch 'linear-expl' into knapsack
33e95e8
@arbimo
chore(knapsack): add missing import
700aa64
@arbimo
fix(sat): Properly handle tautologies in clause minimization.
9d7c161
@arbimo
Merge branch 'linear-expl' into knapsack
89d62d7
@arbimo
Merge branch 'linear-expl' into knapsack
920adbc
@arbimo
fix(sat): Remove overly restrictive assertion on clause form.
c07b983
@arbimo
chore(jsp): Improve debug formatting of operations.
82a2ddb
@arbimo
chore(solver): Display learned clause in logs.
4219235
@arbimo
chore(knapsack): Add hidden option to rename objects to ease debugging.
ad4bd34
@arbimo
chore(solver): Have the explainers accept a snapshot of the state (po…
df1454e 
…ssibly from the past) instead of the current state only.
@arbimo
WIP: restriction of update to relevant edges
d9df1fd
@arbimo
wip(stn): tests and exploitation of relevant focus
742bc95
@arbimo
wip(stn): potential functions and edge with negative edges.
db80165
@arbimo
wip(stn): Support graphs with negative edges in preliminary implement…
d8bf5c2 
…ation.
@arbimo
chore: temporarily deactivate clause minimization
9270e3a
@arbimo
test(sched): Add automated test to check consistency of scheduling re…
501e658 
…sults over random variable orderings.
@arbimo
test(sched): add the option to deactivate the advanced constraints in…
2f62b1e 
… scheduling model.
@arbimo
chore(solver): Refactor to avoid using BoundValue
fd03e76
@arbimo
chore(solver): Refactor to remove BoundValue(Add)
c57c6f2
arbimo added 19 commits November 14, 2024 16:37
@arbimo
test(solver): Add solution witnesses to be able to detect invalid cla…
f8bb8c5 
…uses.
@arbimo
fix(sat): Clause minimization was incorrect when dealing with entaile…
08c38c4 
…d literals.
@arbimo
feat(sat): Complete version of clause minization
469e983
@arbimo
chore(sat): extract recursive redundancy checking to specific method.
ef72b71
@arbimo
chore(sat): Move clause minimization to independent file
df7051c
@arbimo
feat(sat): Implement All-UIP clause minimization.
eb11bc7
@arbimo
feat(stn): add relevance based theory propagation
f419d15
@arbimo
feat(stn): additional statistics on the propagation.
2254775
@arbimo
deactivate bounds propagation by default
e12ff39
@arbimo
feat(stn): Implement Dijkstra-absed bound propagation
7b8028d
@arbimo
chore(stn): Change bound update propaation API
fb8457e
@arbimo
perf(stn): Use theard-local storage for bound propagation persistent …
5d585a1 
…memory
@arbimo
perf(stn): add a fast check to see if a variable is a node of the STN
84ba17a
@arbimo
perf(stn): avoid redundant stn theory propagation
e9e3b4e
@arbimo
perf(stn): improve STN theory propagation to avoid any dynamic alloca…
cf15c13 
…tion
@arbimo
fix(planning): Make sure we do not attempt to solve a finite problem …
8fc3b7e 
…if deadline has pased already
@arbimo
fix(linter): Correct doc formating
7921877
@arbimo
test(scheduling): improve runtime of tests
f6792ab
@arbimo
Merge branch 'master' into stn-relevant
8a334ce
@arbimo arbimo merged commit 4f67677 into master Nov 22, 2024
11 checks passed
@arbimo arbimo deleted the stn-relevant branch November 22, 2024 11:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

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