ResearchAlpha Leak

Conferences Topics Top Authors Rankings Browse All

Home/Authors/Bart Bogaerts

Bart Bogaerts

2

Papers

1

Total Citations

Papers (2)

Exploiting Symmetries in MUS Computation

Using Symmetries to Lift Satisfiability Checking

Topic trends: 31,945 papers · similarity ≥ 0.4 · year ≥ 2024 · Data sourced from Semantic Scholar

34,180 papers | Abstracts: 30,300 (88.6%) | Citations: 34,180 (100.0%) | arXiv: 25,198 (73.7%)

Built: Feb 3, 2026, 12:54 AM AMS