NeuroSAT: Studying a SAT Solver from Single-Bit Supervision

No Comments

NeuroSAT: Studying a SAT Solver from Single-Bit Supervision

(Submitted on Eleven Feb 2018)

Abstract: We most up-to-date NeuroSAT, a communication expiration neuronal meshwork that learns to resolve
SAT concerns after exclusive existence complete as a classifier to predict
satisfiability. Though it’s today not combative with explain-of-the-artwork SAT
solvers, NeuroSAT crapper hold concerns which shall be substantially large and more
complicated than it ever detected during work by exclusive streaming for more
iterations. Furthermore, NeuroSAT generalizes to newborn distributions; after
coaching exclusive on haphazard SAT concerns, at effort instance it module mayhap presumably staleness ever hold SAT concerns
encoding interpret coloring, ingroup detection, high region, and acme quilt
concerns, every on lots of distributions over restricted haphazard graphs.

Topics: Synthetic Intelligence (cs.AI); Studying (cs.LG); Good sentiment in Pc Science (cs.LO)
Cite as: arXiv:1802.03685 [cs.AI]
  (or arXiv:1802.03685v1 [cs.AI] for this version)

Submission ancient past

From: justice Selsam [
bump into email]

[v1] Solar, Eleven Feb 2018 03:04:28 time (474kb,D)

Read Extra

NeuroSAT: Studying a SAT Solver from Single-Bit Supervision

NeuroSAT: Studying a SAT Solver from Single-Bit Supervision

NeuroSAT: Studying a SAT Solver from Single-Bit Supervision

hackers, sat, studying, supervision, tech, technology
hackers, sat, studying, supervision, tech, technology