Anton Belov | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Joao Marques-Silva
31 publications
Matti Järvisalo
8 publications

research

∙ 07/05/2012

Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality

Detection and elimination of redundant clauses from propositional formul...

0 Anton Belov, et al. ∙

research

∙ 09/09/2011

Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability

This work focuses on improving state-of-the-art in stochastic local sear...

0 Anton Belov, et al. ∙