Anton Belov

Identifiers

• name variant Anton Belov 0.60 · backfill

Papers (3)

1. SAT-based Preprocessing for MaxSAT (extended version) cs.AI · 2013 · author #1
2. Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality cs.LO · 2012 · author #1
3. Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability cs.AI · 2011 · author #1

Mentions

• 1310.2298 #1 · backfill · confidence 0.70 Anton Belov
• 1207.1257 #1 · backfill · confidence 0.70 Anton Belov
• 1109.2049 #1 · backfill · confidence 0.70 Anton Belov

Frequent Coauthors

• Joao Marques-Silva 2 shared papers
• Antonio Morgado 1 shared papers
• Matti J\"arvisalo 1 shared papers