adaptive interaction 1binary black holes 1B meson decays 1cp violation 1effective-one-body 1flavor physics 1gravitational self-force 1lhcb experiment 1metaphor design 1numerical relativity 1penguin contributions 1personalization 1
From the 4 of 141 papers with an AI index.
150 citations
- University of Maryland, College ParkUS81 papers
- Massachusetts Institute of TechnologyUS79 papers
- Tsinghua UniversityCN79 papers
- Université Paris-SaclayFR79 papers
- Eötvös Loránd UniversityHU78 papers
- Centro Brasileiro de Pesquisas FísicasBR77 papers
- Peking UniversityCN77 papers
- Rutherford Appleton LaboratoryGB77 papers
- University of ZurichCH77 papers
- University of BristolGB76 papers
- AGH University of KrakowPL75 papers
- European Organization for Nuclear ResearchCH75 papers
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026★ 150 cited
Solving QBF with Counterexample Guided Refinement
Mikoláš Janota, William Klieber, Joao Marques-Silva +1
We propose two novel approaches for using Counterexample-Guided Abstraction Refinement (CEGAR) in Quantified Boolean Formula (QBF) solvers. The first approach develops a recursive…
cs.LO2026★ 60 cited
Solving QBF by Clause Selection
Mikoláš Janota, Joao Marques-Silva
Algorithms based on the enumeration of implicit hitting sets find a growing number of applications, which include maximum satisfiability and model based diagnosis, among others. Th…