Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dimacs/dimacs26.bht:"
download as .bib file
@proceedings{DBLP:conf/dimacs/dimacs26,
editor = {David S. Johnson and
Michael A. Trick},
title = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/026},
doi = {10.1090/DIMACS/026},
isbn = {978-0-8218-6609-2},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/dimacs26.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/AsahiroIM93,
author = {Yuichi Asahiro and
Kazuo Iwama and
Eiji Miyano},
editor = {David S. Johnson and
Michael A. Trick},
title = {Random generation of test instances with controlled attributes},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {377--393},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/18},
doi = {10.1090/DIMACS/026/18},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/AsahiroIM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/BalasN93,
author = {Egon Balas and
William Niehaus},
editor = {David S. Johnson and
Michael A. Trick},
title = {Finding large cliques in arbitrary graphs by bipartite matching},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {29--51},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/03},
doi = {10.1090/DIMACS/026/03},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/BalasN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/BrockingtonC93,
author = {Mark Brockington and
Joseph C. Culberson},
editor = {David S. Johnson and
Michael A. Trick},
title = {Camouflaging independent sets in quasi-random graphs},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {75--88},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/05},
doi = {10.1090/DIMACS/026/05},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/BrockingtonC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/CheriyanCTW93,
author = {Joseph Cheriyan and
William H. Cunningham and
Levent Tun{\c{c}}el and
Yaoguang Wang},
editor = {David S. Johnson and
Michael A. Trick},
title = {A linear programming and rounding approach to max 2-sat},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {395--413},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/19},
doi = {10.1090/DIMACS/026/19},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/CheriyanCTW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/CulbersonL93,
author = {Joseph C. Culberson and
Feng Luo},
editor = {David S. Johnson and
Michael A. Trick},
title = {Exploring the k-colorable landscape with Iterated Greedy},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {245--284},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/13},
doi = {10.1090/DIMACS/026/13},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/CulbersonL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/DuboisABC93,
author = {Olivier Dubois and
Pascal Andr{\'{e}} and
Yacine Boufkhad and
Jacques Carlier},
editor = {David S. Johnson and
Michael A. Trick},
title = {{SAT} versus {UNSAT}},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {415--436},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/20},
doi = {10.1090/DIMACS/026/20},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/DuboisABC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/FleurentF93a,
author = {Charles Fleurent and
Jacques A. Ferland},
editor = {David S. Johnson and
Michael A. Trick},
title = {Object-oriented implementation of heuristic search methods for Graph
Coloring, Maximum Clique, and Satisfiability},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {619--652},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/29},
doi = {10.1090/DIMACS/026/29},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/FleurentF93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/GelderT93,
author = {Allen Van Gelder and
Yumi K. Tsuji},
editor = {David S. Johnson and
Michael A. Trick},
title = {Satisfiability testing with more reasoning and less guessing},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {559--586},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/27},
doi = {10.1090/DIMACS/026/27},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/GelderT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/GibbonsHP93,
author = {Luana E. Gibbons and
Donald W. Hearn and
Panos M. Pardalos},
editor = {David S. Johnson and
Michael A. Trick},
title = {A continuous based heuristic for the maximum clique problem},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {103--124},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/07},
doi = {10.1090/DIMACS/026/07},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/GibbonsHP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/GloverPR93,
author = {Fred W. Glover and
Mark Parker and
Jennifer Ryan},
editor = {David S. Johnson and
Michael A. Trick},
title = {Coloring by tabu branch and bound},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {285--307},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/14},
doi = {10.1090/DIMACS/026/14},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/GloverPR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/GoldbergR93,
author = {Mark K. Goldberg and
Reid D. Rivenburgh},
editor = {David S. Johnson and
Michael A. Trick},
title = {Constructing cliques using restricted backtracking},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {89--101},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/06},
doi = {10.1090/DIMACS/026/06},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/GoldbergR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Grossman93,
author = {Tal Grossman},
editor = {David S. Johnson and
Michael A. Trick},
title = {Applying the {INN} model to the Maximum Clique problem},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {125--145},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/08},
doi = {10.1090/DIMACS/026/08},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Grossman93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/HampsonK93,
author = {Steven E. Hampson and
Dennis F. Kibler},
editor = {David S. Johnson and
Michael A. Trick},
title = {Large plateaus and plateau search in Boolean Satisfiability problems:
When to give up searching and start again},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {437--455},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/21},
doi = {10.1090/DIMACS/026/21},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/HampsonK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/HomerP93,
author = {Steven Homer and
Marcus Peinado},
editor = {David S. Johnson and
Michael A. Trick},
title = {Experiments with polynomial-time {CLIQUE} approximation algorithms
on very large graphs},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {147--167},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/09},
doi = {10.1090/DIMACS/026/09},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/HomerP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/JagotaSG93,
author = {Arun Jagota and
Laura A. Sanchis and
Ravikanth Ganesan},
editor = {David S. Johnson and
Michael A. Trick},
title = {Approximately solving Maximum Clique using neural network and related
heuristics},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {169--204},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/10},
doi = {10.1090/DIMACS/026/10},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/JagotaSG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/JaumardSD93,
author = {Brigitte Jaumard and
Mihnea Stan and
Jacques Desrosiers},
editor = {David S. Johnson and
Michael A. Trick},
title = {Tabu search and a quadratic relaxation for the Satisfiability problem},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {457--477},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/22},
doi = {10.1090/DIMACS/026/22},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/JaumardSD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/JohnsonT93,
author = {David S. Johnson and
Michael A. Trick},
editor = {David S. Johnson and
Michael A. Trick},
title = {Foreword xiIntroduction to the Second {DIMACS} Challenge: Cliques,
coloring, and satisfiability},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {1--7},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/01},
doi = {10.1090/DIMACS/026/01},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/JohnsonT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/LewandowskiC93,
author = {Gary Lewandowski and
Anne Condon},
editor = {David S. Johnson and
Michael A. Trick},
title = {Experiments with parallel graph coloring heuristics and applications
of graph coloring},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {309--334},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/15},
doi = {10.1090/DIMACS/026/15},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/LewandowskiC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/ManninoS93,
author = {Carlo Mannino and
Antonio Sassano},
editor = {David S. Johnson and
Michael A. Trick},
title = {Edge projection and the maximum cardinality stable set problem},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {205--219},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/11},
doi = {10.1090/DIMACS/026/11},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/ManninoS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Mercure93,
author = {Jean{-}Marie Bourjolly and
Paul Gill and
Gilbert Laporte and
H{\'{e}}l{\`{e}}ne Mercure},
editor = {David S. Johnson and
Michael A. Trick},
title = {An exact quadratic 0-1 algorithm for the stable set problem},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {53--73},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/04},
doi = {10.1090/DIMACS/026/04},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Mercure93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Morgenstern93,
author = {Craig A. Morgenstern},
editor = {David S. Johnson and
Michael A. Trick},
title = {Distributed coloration neighborhood search},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {335--357},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/16},
doi = {10.1090/DIMACS/026/16},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Morgenstern93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Pataki93,
author = {Egon Balas and
Sebasti{\'{a}}n Ceria and
G{\'{e}}rard Cornu{\'{e}}jols and
G{\'{a}}bor Pataki},
editor = {David S. Johnson and
Michael A. Trick},
title = {Polyhedral methods for the maximum clique problem},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {11--28},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/02},
doi = {10.1090/DIMACS/026/02},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Pataki93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Pretolani93,
author = {Daniele Pretolani},
editor = {David S. Johnson and
Michael A. Trick},
title = {Efficiency and stability of hypergraph {SAT} algorithms},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {479--498},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/23},
doi = {10.1090/DIMACS/026/23},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Pretolani93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/ResendeF93,
author = {Mauricio G. C. Resende and
Thomas A. Feo},
editor = {David S. Johnson and
Michael A. Trick},
title = {A {GRASP} for satisfiability},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {499--520},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/24},
doi = {10.1090/DIMACS/026/24},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/ResendeF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/SelmanKC93,
author = {Bart Selman and
Henry A. Kautz and
Bram Cohen},
editor = {David S. Johnson and
Michael A. Trick},
title = {Local search strategies for satisfiability testing},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {521--531},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/25},
doi = {10.1090/DIMACS/026/25},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/SelmanKC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Sewell93,
author = {Edward C. Sewell},
editor = {David S. Johnson and
Michael A. Trick},
title = {An improved algorithm for exact graph coloring},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {359--373},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/17},
doi = {10.1090/DIMACS/026/17},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Sewell93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/SorianoG93,
author = {Patrick Soriano and
Michel Gendreau},
editor = {David S. Johnson and
Michael A. Trick},
title = {Tabu search algorithms for the maximum clique problem},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {221--242},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/12},
doi = {10.1090/DIMACS/026/12},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/SorianoG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Spears93,
author = {William M. Spears},
editor = {David S. Johnson and
Michael A. Trick},
title = {Simulated annealing for hard satisfiability problems},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {533--557},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/26},
doi = {10.1090/DIMACS/026/26},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Spears93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Trick93,
author = {Michael A. Trick},
editor = {David S. Johnson and
Michael A. Trick},
title = {Appendix: Second {DIMACS} Challenge test problems},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {653--657},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/30},
doi = {10.1090/DIMACS/026/30},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Trick93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/WallaceF93,
author = {Richard J. Wallace and
Eugene C. Freuder},
editor = {David S. Johnson and
Michael A. Trick},
title = {Comparative studies of constraint satisfaction and Davis-Putnam algorithms
for maximum satisfiability problems},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, October 11-13, 1993},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {26},
pages = {587--615},
publisher = {{DIMACS/AMS}},
year = {1993},
url = {https://doi.org/10.1090/dimacs/026/28},
doi = {10.1090/DIMACS/026/28},
timestamp = {Tue, 22 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dimacs/WallaceF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-11 03:52 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
