Concepedia

Anton Belov

AB

10

Publications

439

Citations

10

H-Index

2011

Active since

Affiliations

University College Dublin(Current)

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

University of Lisbon

Karlsruhe Institute of Technology

Universität Ulm

Anton Belov is an author at University College Dublin specializing in engineering, satisfiability, and automated reasoning.

Top concepts

EngineeringSatisfiabilityAutomated ReasoningComputer ScienceData ScienceComputational ComplexityVerificationFormal MethodsMachine LearningFormal Verification

Publications per year

2011–2018

10

Publications

10

On computing minimal correction subsets

João Marques‐Silva, Federico Heras, Mikoláš Janota et al. · International Joint Conference on Artificial Intelligence · 2013 · 131 citations

Mathematical Programming, Minimal Correction Subsets, Computational Complexity Theory +20

Towards efficient MUS extraction

Anton Belov, Inês Lynce, João Marques‐Silva · AI Communications · 2012 · 83 citations

Intelligent Information Processing, Engineering, Verification +23

MUSer2: An Efficient MUS Extractor1

Anton Belov, João Marques‐Silva · Journal on Satisfiability Boolean Modeling and Computation · 2012 · 64 citations · Full text

Engineering, Machine Learning, Verification +19

Accelerating MUS extraction with recursive model rotation

Anton Belov, João Marques‐Silva · Formal Methods in Computer-Aided Design · 2011 · 45 citations

Intelligent Information Processing, Engineering, Machine Learning +20

Overview and analysis of the SAT Challenge 2012 solver competition

Adrian Balint, Anton Belov, Matti Järvisalo et al. · Artificial Intelligence · 2015 · 35 citations

Artificial Intelligence, Computational Science, Constraint Solving +12

Rows per page

1–5 of 10