Inproceedings,
Certified Core-Guided MaxSAT Solving.
J. Berg, B. Bogaerts, J. Nordström, A. Oertel, and D. Vandesande.CADE, volume 14132 of Lecture Notes in Computer Science, page 1-22. Springer, (2023)
Meta data
- BibTeX key
- conf/cade/BergBNOV23
- entry type
- inproceedings
- booktitle
- CADE
- year
- 2023
- pages
- 1-22
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 14132
- crossref
- conf/cade/2023
- ee
- https://doi.org/10.1007/978-3-031-38499-8_1
- isbn
- 978-3-031-38499-8
- url
- http://dblp.uni-trier.de/db/conf/cade/cade2023.html#BergBNOV23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/cade/BergBNOV23
%A Berg, Jeremias
%A Bogaerts, Bart
%A Nordström, Jakob
%A Oertel, Andy
%A Vandesande, Dieter
%B CADE
%D 2023
%E Pientka, Brigitte
%E Tinelli, Cesare
%I Springer
%K dblp
%P 1-22
%T Certified Core-Guided MaxSAT Solving.
%U http://dblp.uni-trier.de/db/conf/cade/cade2023.html#BergBNOV23
%V 14132
%@ 978-3-031-38499-8
@inproceedings{conf/cade/BergBNOV23,
added-at = {2023-09-14T00:00:00.000+0200},
author = {Berg, Jeremias and Bogaerts, Bart and Nordström, Jakob and Oertel, Andy and Vandesande, Dieter},
biburl = {https://www.bibsonomy.org/bibtex/2df9ee73e91f98e6eb927d7da5806919f/dblp},
booktitle = {CADE},
crossref = {conf/cade/2023},
editor = {Pientka, Brigitte and Tinelli, Cesare},
ee = {https://doi.org/10.1007/978-3-031-38499-8_1},
interhash = {1834e98e6c2c9c0b3a916ba82ca96b27},
intrahash = {df9ee73e91f98e6eb927d7da5806919f},
isbn = {978-3-031-38499-8},
keywords = {dblp},
pages = {1-22},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T18:55:11.000+0200},
title = {Certified Core-Guided MaxSAT Solving.},
url = {http://dblp.uni-trier.de/db/conf/cade/cade2023.html#BergBNOV23},
volume = 14132,
year = 2023
}