2 papers
cs.DS2019
Interactive Particle Systems on Hypergraphs, Drift Analysis and the WalkSAT algorithm
Gabriel Istrate, Cosmin Bonchis, Mircea Marin
We analyze the expected running time of WalkSAT, a well-known local search procedure for satisfiability solving, on satisfiable instances of the k-XOR SAT problem. We obtain estima…
cs.LO2019
Proceedings Third Symposium on Working Formal Methods
Mircea Marin, Adrian Crăciun
This volume contains the proceedings of FROM 2019: the Third Symposium on Working Formal Methods, held on September 3-5, 2019 in Timişoara (Romania). FROM aims to bring together re…