112 citations · 121 across the 3 of their papers we have counts for
3 papers
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
Gilles Audemard, Loïc Paulevé, Laurent Simon
SAT research has a long history of source code and binary releases, thanks to competitions organized every year. However, since every cycle of competitions has its own set of rules…
Community Structure in Industrial SAT Instances
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru +2
Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental process. It is…
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web
P. Adjiman, P. Chatalic, F. Goasdoue +2
In a peer-to-peer inference system, each peer can reason locally but can also solicit some of its acquaintances, which are peers sharing part of its vocabulary. In this paper, we c…