358 citations · 360 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.DS2019
Learned Clause Minimization in Parallel SAT Solvers
Marc Hartung, Florian Schintke
Learned clauses minimization (LCM) let to performance improvements of modern SAT solvers especially in solving hard SAT instances. Despite the success of LCM approaches in sequenti…
cs.DC2019
Linearizable State Machine Replication of State-Based CRDTs without Logs
Jan Skrzypczak, Florian Schintke, Thorsten Schütt
General solutions of state machine replication have to ensure that all replicas apply the same commands in the same order, even in the presence of failures. Such strict ordering in…