BAXMC: a CEGAR approach to Max#SAT
Emerging
0
Citations0
Refs2022
Year
Search Works
Work Details
- DOI 10.34727/2022/isbn.978-3-85448-053-2_23
- OpenAlex ID W6890129999
- Type Conference-paper
- Language FR
- Published 01 Oct 2022
- Source reposiTUm (TU Wien)
- Publisher TU Wien
- Added 10 Oct 2025
- Updated 26 Oct 2026
External Links
MENU
0
BAXMC: a CEGAR approach to Max#SAT
Conference-paper 2022 FR Green
0
Citations
0
References
5
Authors
0.00
FWCI
Topics
Keywords
Authors & Affiliations
5 authors| # | Author | Institutions | ORCID |
|---|---|---|---|
| 1 | Thomas Vigouroux | — | |
| 2 | Cristian Ene | — | |
| 3 | David P. Monniaux | — | |
| 4 | Laurent Mounier | — | |
| 5 | Marie-Laure Potet | — |
Related Works
10Data: OpenAlex