751 citations · 3.2k across the 102 of their papers we have counts for
4 papers · 1 filter
A novel local search based on variable-focusing for random K-SAT
Rémi Lemoy, Mikko Alava, Erik Aurell
We introduce a new local search algorithm for satisfiability problems. Usual approaches focus uniformly on unsatisfied clauses. The new method works by picking uniformly random var…
Optimal stochastic transport in inhomogeneous thermal environments
Stefano Bo, Erik Aurell, Ralf Eichhorn +1
We consider optimization of the average entropy production in inhomogeneous temperature environments within the framework of stochastic thermodynamics. For systems modeled by Lange…
Witness of unsatisfiability for a random 3-satisfiability formula
Lu-Lu Wu, Hai-Jun Zhou, Mikko Alava +2
The random 3-satisfiability (3-SAT) problem is in the unsatisfiable (UNSAT) phase when the clause density exceeds a critical value . However, rigorously prov…
Lognormality and oscillations in the coverage of high-throughput transcriptomic data towards gene ends
Nicolas Innocenti, Erik Aurell
High-throughput transcriptomics experiments have reached the stage where the count of the number of reads alignable to a given position can be treated as an almost-continuous signa…