default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sat/sat2004lncs.bht:"
download as .bib file
@proceedings{DBLP:conf/sat/2004lncs,
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527695},
doi = {10.1007/11527695},
isbn = {3-540-27829-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2004lncs.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AnsoteguiM04a,
author = {Carlos Ans{\'{o}}tegui and
Felip Many{\`{a}}},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Mapping Problems with Finite-Domain Variables to Problems with Boolean
Variables},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {1--15},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_1},
doi = {10.1007/11527695\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/AnsoteguiM04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ArmandoCGM04a,
author = {Alessandro Armando and
Claudio Castellini and
Enrico Giunchiglia and
Marco Maratea},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {A SAT-Based Decision Procedure for the Boolean Combination of Difference
Constraints},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {16--29},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_2},
doi = {10.1007/11527695\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/ArmandoCGM04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BaulandCCHV04a,
author = {Michael Bauland and
Philippe Chapdelaine and
Nadia Creignou and
Miki Hermann and
Heribert Vollmer},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {An Algebraic Approach to the Complexity of Generalized Conjunctive
Queries},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {30--45},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_3},
doi = {10.1007/11527695\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BaulandCCHV04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BenedettiB04a,
author = {Marco Benedetti and
Sara Bernardini},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Incremental Compilation-to-SAT Procedures},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {46--58},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_4},
doi = {10.1007/11527695\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BenedettiB04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BerreNST04,
author = {Daniel Le Berre and
Massimo Narizzano and
Laurent Simon and
Armando Tacchella},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {The Second {QBF} Solvers Comparative Evaluation},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {376--392},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_28},
doi = {10.1007/11527695\_28},
timestamp = {Thu, 30 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BerreNST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BerreS04,
author = {Daniel Le Berre and
Laurent Simon},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Fifty-Five Solvers in Vancouver: The {SAT} 2004 Competition},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {321--344},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_25},
doi = {10.1007/11527695\_25},
timestamp = {Thu, 30 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BerreS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Biere04a,
author = {Armin Biere},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Resolve and Expand},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {59--70},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_5},
doi = {10.1007/11527695\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Biere04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BuningZ04a,
author = {Hans Kleine{ }B{\"{u}}ning and
Xishun Zhao},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Equivalence Models for Quantified Boolean Formulas},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {224--234},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_18},
doi = {10.1007/11527695\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BuningZ04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ChenD04a,
author = {Hubie Chen and
V{\'{\i}}ctor Dalmau},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Looking Algebraically at Tractable Quantified Boolean Formulas},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {71--79},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_6},
doi = {10.1007/11527695\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/ChenD04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/DantsinW04a,
author = {Evgeny Dantsin and
Alexander Wolpert},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Derandomization of Schuler's Algorithm for {SAT}},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {80--88},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_7},
doi = {10.1007/11527695\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/DantsinW04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GalesiK04a,
author = {Nicola Galesi and
Oliver Kullmann},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Polynomial Time {SAT} Decision, Hypergraph Transversals and the Hermitian
Rank},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {89--104},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_8},
doi = {10.1007/11527695\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/GalesiK04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GiunchigliaNT04a,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {{QBF} Reasoning on Real-World Instances},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {105--121},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_9},
doi = {10.1007/11527695\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/GiunchigliaNT04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GregoireOMS04a,
author = {{\'{E}}ric Gr{\'{e}}goire and
Richard Ostrowski and
Bertrand Mazure and
Lakhdar Sais},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Automatic Extraction of Functional Dependencies},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {122--132},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_10},
doi = {10.1007/11527695\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/GregoireOMS04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GummadiNV04a,
author = {Ravi Gummadi and
N. S. Narayanaswamy and
Venkatakrishnan Ramaswamy},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Algorithms for Satisfiability Using Independent Sets of Variables},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {133--144},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_11},
doi = {10.1007/11527695\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/GummadiNV04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HeuleDZM04,
author = {Marijn Heule and
Mark Dufour and
Joris E. van Zwieten and
Hans van Maaren},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {March{\_}eq: Implementing Additional Reasoning into an Efficient Look-Ahead
{SAT} Solver},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {345--359},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_26},
doi = {10.1007/11527695\_26},
timestamp = {Wed, 29 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/HeuleDZM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HeuleM04a,
author = {Marijn Heule and
Hans van Maaren},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Aligning {CNF-} and Equivalence-Reasoning},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {145--156},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_12},
doi = {10.1007/11527695\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HeuleM04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HuangD04a,
author = {Jinbo Huang and
Adnan Darwiche},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Using {DPLL} for Efficient {OBDD} Construction},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {157--172},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_13},
doi = {10.1007/11527695\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HuangD04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Interian04a,
author = {Yannet Interian},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Approximation Algorithm for Random {MAX-} \emph{k}SAT},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {173--182},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_14},
doi = {10.1007/11527695\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Interian04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JacksonS04,
author = {Paul B. Jackson and
Daniel Sheridan},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Clause Form Conversions for Boolean Circuits},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {183--198},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_15},
doi = {10.1007/11527695\_15},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/JacksonS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JiaMS04a,
author = {Haixia Jia and
Cristopher Moore and
Bart Selman},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {From Spin Glasses to Hard Satisfiable Formulas},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {199--210},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_16},
doi = {10.1007/11527695\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/JiaMS04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JinS04a,
author = {HoonSang Jin and
Fabio Somenzi},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {CirCUs: {A} Hybrid Satisfiability Solver},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {211--223},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_17},
doi = {10.1007/11527695\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/JinS04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MahajanFM04,
author = {Yogesh S. Mahajan and
Zhaohui Fu and
Sharad Malik},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Zchaff2004: An Efficient {SAT} Solver},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {360--375},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_27},
doi = {10.1007/11527695\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/MahajanFM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/PanV04a,
author = {Guoqiang Pan and
Moshe Y. Vardi},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Search vs. Symbolic Techniques in Satisfiability Solving},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {235--250},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_19},
doi = {10.1007/11527695\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/PanV04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/PorschenS04a,
author = {Stefan Porschen and
Ewald Speckenmeyer},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {251--262},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_20},
doi = {10.1007/11527695\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/PorschenS04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Sinopalnikov04a,
author = {Danila A. Sinopalnikov},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Satisfiability Threshold of the Skewed Random \emph{k}-SAT},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {263--275},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_21},
doi = {10.1007/11527695\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Sinopalnikov04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SubbarayanP04a,
author = {Sathiamoorthy Subbarayan and
Dhiraj K. Pradhan},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {NiVER: Non-increasing Variable Elimination Resolution for Preprocessing
{SAT} Instances},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {276--291},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_22},
doi = {10.1007/11527695\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/SubbarayanP04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/TangYRM04a,
author = {Daijue Tang and
Yinlei Yu and
Darsh Ranjan and
Sharad Malik},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Analysis of Search Based Algorithms for Satisfiability of Propositional
and Quantified Boolean Formulas Arising from Circuit State Space Diameter
Problems},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {292--305},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_23},
doi = {10.1007/11527695\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/TangYRM04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/TompkinsH04a,
author = {Dave A. D. Tompkins and
Holger H. Hoos},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {{UBCSAT:} An Implementation and Experimentation Environment for {SLS}
Algorithms for {SAT} and {MAX-SAT}},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {306--320},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_24},
doi = {10.1007/11527695\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/TompkinsH04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-01-09 12:54 CET 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:
