Skip to content

Latest commit

 

History

4 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 

Repository files navigation

SATRL

El codi anterior és original d'aquest repositori. Les següents modificacions s'han implementat per generar un solucionador tal que, cada vegada que s'ha de prendre una decisió, l'execució es pari, un agent extern pugui prendre la decisió corresponent, i l'execució pugui continuar.

About

Implementation of a branching heuristic of a SAT Solver using Q-Learning

Resources

Stars

1 star

Watchers

1 watching

Forks

Releases

Packages

Contributors

Languages