Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
ak/DecompBMC23-parallel
8a528f1c
·
Clean code
·
Jan 05, 2024
ak/logNewMapleKissat
863438df
·
integrate combo selectors but not yet initialized
·
Aug 19, 2023
ak/DecompBMC23
269306fe
·
fix pin thread
·
Jul 06, 2023
ak/Restart
528ea128
·
reset initial maplecomsps + add maxmin measure
·
Jan 31, 2023
ak/RestartDyn
1cb24e0f
·
combine restart & mlr
·
Jan 20, 2023
ak/LTechMaple
6afe15e9
·
New LSTechMaple solver using conflict usage information
·
Jan 20, 2023
ak/MapleCOMSPSsota
e7122439
·
SOTA MapleCOMSPS
·
Jan 13, 2023
ak/Kissat_MAB-HWalk-Degraded
f5b6d405
·
remove periodicity lvl
·
Nov 06, 2022
ak/DynSelectorNewMapleVar
2739341b
·
New Variable ordering based on dynamic selector (first usage)
·
Nov 06, 2022
ak/DynSelectorNewMaple
e69f366c
·
Reset selector at least to value 6 for explicit storage
·
Nov 04, 2022
ak/selectorDynVar
742fe80a
·
fusion dynamic selector with variable ordering
·
Oct 21, 2022
ak/selectorDyn
86750cec
·
New selector for tier2 mapleCOMSPS (espt or esptm)
·
Oct 13, 2022
ak/log-bis
be35cfb8
·
fix problem with minisat log
·
Oct 11, 2022
ak/Kissat_MAB-HyWalk-BMC
41281843
·
Add new initiali selectors based on Kissat degraded
·
Oct 01, 2022
ak/parkissat-rs-bmc
2ca76ee1
·
run SHlp sharing strategy with classical Kissat-MAB solver
·
Sep 18, 2022
ak/kissat-cp
44834f7a
·
reset import cls with lbd rather than size
·
Sep 18, 2022
ak/log
134d9451
·
rename desat methods
·
Aug 22, 2022
ak/analyze_bis
3df71370
·
New selectors test based on usage once of clauses
·
Aug 13, 2022
ak/maple-depth-branching
60ad58d4
·
Disable branching variables using depth metric
·
Aug 13, 2022
ak/kissat-log
b8a325c4
·
Set parsing
·
Jul 29, 2022
Prev
1
2
3
Next