Inproceedings,
Generating Hard Instances for MaxSAT.
R. Béjar, A. Cabiscol, F. Manyà, and J. Planes.ISMVL, page 191-195. IEEE Computer Society, (2009)
Meta data
- BibTeX key
- conf/ismvl/BejarCMP09
- entry type
- inproceedings
- booktitle
- ISMVL
- year
- 2009
- pages
- 191-195
- publisher
- IEEE Computer Society
- crossref
- conf/ismvl/2009
- ee
- https://doi.ieeecomputersociety.org/10.1109/ISMVL.2009.58
- isbn
- 978-0-7695-3607-1
- url
- http://dblp.uni-trier.de/db/conf/ismvl/ismvl2009.html#BejarCMP09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ismvl/BejarCMP09
%A Béjar, Ramón
%A Cabiscol, Alba
%A Manyà, Felip
%A Planes, Jordi
%B ISMVL
%D 2009
%I IEEE Computer Society
%K dblp
%P 191-195
%T Generating Hard Instances for MaxSAT.
%U http://dblp.uni-trier.de/db/conf/ismvl/ismvl2009.html#BejarCMP09
%@ 978-0-7695-3607-1
@inproceedings{conf/ismvl/BejarCMP09,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Béjar, Ramón and Cabiscol, Alba and Manyà, Felip and Planes, Jordi},
biburl = {https://www.bibsonomy.org/bibtex/2829d4ea4994e9203eb462b2f33dad251/dblp},
booktitle = {ISMVL},
crossref = {conf/ismvl/2009},
ee = {https://doi.ieeecomputersociety.org/10.1109/ISMVL.2009.58},
interhash = {e356157824573b4ba9c0acfae49365d6},
intrahash = {829d4ea4994e9203eb462b2f33dad251},
isbn = {978-0-7695-3607-1},
keywords = {dblp},
pages = {191-195},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T17:17:41.000+0200},
title = {Generating Hard Instances for MaxSAT.},
url = {http://dblp.uni-trier.de/db/conf/ismvl/ismvl2009.html#BejarCMP09},
year = 2009
}