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

25 Commits (master)
 

Author SHA1 Message Date
  Tom Krüger 11c0b6c7e9 changed submodule url 4 years ago
  Tom d867102eb3 embedding data extraction 5 years ago
  Tom b02535ade2 sync 5 years ago
  Tom 5c2bd8bdef sync 5 years ago
  Tom 34fa181195 added local scons 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 3bc8fb500f fix solver_args 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
  Tom d5982763f8 sync 5 years ago
  Tom 05451ccbcd implemented ExperimentScope 5 years ago
  Tom 95ddced74a added conflicts and degrees_of_variables to instance db entries 5 years ago
  Tom 967c2e8673 mongoc as submodule 5 years ago
  Tom 9346bcdf63 implemented basics 5 years ago
  Tom 4f9ae6c67d added minisat code base 6 years ago
  Tom 0a0fbcc46d cleaned up generateRandomKsatDataSet_db.py / fixed type casting bug in ArgumentParser 6 years ago
  Tom 1e1b527566 sync 6 years ago
  Tom bc5de0c994 init 6 years ago
  Tom 63f6e29ad9 Initial commit 6 years ago