Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Olivier Bailleux
Researcher
PaperConstraint ReductionsAuthorship / preprint / 2020PaperOn the CNF encoding of cardinality constraints and beyondAuthorship / preprint / 2010PaperEvolving difficult SAT instances thanks to local searchAuthorship / preprint / 2010PaperReified unit resolution and the failed literal ruleAuthorship / preprint / 2010PaperOn the expressive power of unit resolutionAuthorship / preprint / 2011PaperBoolVar/PB v1.0, a java library for translating pseudo-Boolean constraints into CNF formulaeAuthorship / preprint / 2011PaperUnit contradiction versus unit propagationAuthorship / preprint / 2012PaperSAT as a gameAuthorship / preprint / 2015