QA_SAT
/
qubo_lab
2
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity
25 Commits
1 Branch
7.0 MiB
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

10 Commits (master)

Author SHA1 Message Date
  Tom b02535ade2 sync 5 years ago
  Tom f1c63793c7 moved data extraction to /util 5 years ago
  Tom 9ee52233ea sync 5 years ago
  Tom 5a67d56282 sync 5 years ago
  Tom 460db2369f prepared qpu solving 5 years ago
  Tom 348c733656 instance creation following a logistic distribution/ inverted qubo weights in SAT2QUBO 5 years ago
  Tom 25e201177f satisfiability based on wmis sample majority vote 5 years ago
  Tom 9a8c908eae randomSAT: fixed random sat generation; satlabcxx: fixed *2bson converters 5 years ago
  Tom 0ed2b27b99 queries: switched to lazy loding 5 years ago
  Tom a5cc2cad13 data extraction 5 years ago