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
4 links
Amit Metodi
Researcher
PaperCompiling Finite Domain Constraints to SAT with BEEAuthorship / preprint / 2012PaperBoolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial ProblemsAuthorship / preprint / 2014PaperBoolean Equi-propagation for Optimized SAT EncodingAuthorship / preprint / 2011PaperCompiling Finite Domain Constraints to SAT with BEE: the Director's CutAuthorship / preprint / 2013