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/journals/endm/endm9.bht:"
download as .bib file
@article{DBLP:journals/endm/AmirM01,
author = {Eyal Amir and
Sheila Mcllraith},
title = {Solving Satisfiability using Decomposition and the Most Constrained
Subproblem (Preliminary Report)},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {329--343},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00331-2},
doi = {10.1016/S1571-0653(04)00331-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/AmirM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/BejarCFMG01,
author = {Ram{\'{o}}n B{\'{e}}jar and
Alba Cabiscol and
C{\`{e}}sar Fern{\'{a}}ndez and
Felip Many{\`{a}} and
Carla P. Gomes},
title = {Extending the Reach of {SAT} with Many-Valued Logics},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {392--407},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00336-1},
doi = {10.1016/S1571-0653(04)00336-1},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/BejarCFMG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/Berre01,
author = {Daniel Le Berre},
title = {Exploiting the real power of unit propagation lookahead},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {59--80},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00314-2},
doi = {10.1016/S1571-0653(04)00314-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/Berre01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/BruniS01,
author = {Renato Bruni and
Antonio Sassano},
title = {Restoring Satisfiability or Maintaining Unsatisfiability by finding
small Unsatisfiable Subformulae},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {162--173},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00320-8},
doi = {10.1016/S1571-0653(04)00320-8},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/BruniS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/BuningZ01,
author = {Hans Kleine{ }B{\"{u}}ning and
Xishun Zhao},
title = {Satisfiable Formulas Closed Under Replacement},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {48--58},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00313-0},
doi = {10.1016/S1571-0653(04)00313-0},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/BuningZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/CoccoM01,
author = {Simona Cocco and
R{\'{e}}mi Monasson},
title = {Statistical physics analysis of the backtrack resolution of random
3-SAT instances},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {36--47},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00312-9},
doi = {10.1016/S1571-0653(04)00312-9},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/CoccoM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/Gelder01,
author = {Allen Van Gelder},
title = {Combining Preorder and Postorder Resolution in a Satisfiability Solver},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {115--128},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00317-8},
doi = {10.1016/S1571-0653(04)00317-8},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/Gelder01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/GiunchigliaNTV01,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella and
Moshe Y. Vardi},
title = {Towards an Efficient Library for {SAT:} a Manifesto},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {290--310},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00329-4},
doi = {10.1016/S1571-0653(04)00329-4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/endm/GiunchigliaNTV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/Goldberg01,
author = {Eugene Goldberg},
title = {Proving unsatisfiability of CNFs locally},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {96--114},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00316-6},
doi = {10.1016/S1571-0653(04)00316-6},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/Goldberg01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/HorvitzRGKSC01,
author = {Eric Horvitz and
Yongshao Ruan and
Carla P. Gomes and
Henry A. Kautz and
Bart Selman and
David Maxwell Chickering},
title = {A Bayesian Approach to Tackling Hard Computational Problems (Preliminary
Report)},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {376--391},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00335-X},
doi = {10.1016/S1571-0653(04)00335-X},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/HorvitzRGKSC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/HuntMS01,
author = {Harry B. Hunt III and
Madhav V. Marathe and
Richard Edwin Stearns},
title = {Complexity and Approximability of Quantified and Stochastic Constraint
Satisfaction Problems},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {217--230},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00324-5},
doi = {10.1016/S1571-0653(04)00324-5},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/HuntMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/JurkowiakLU01,
author = {Bernard Jurkowiak and
Chu Min Li and
Gil Utard},
title = {Parallelizing Satz Using Dynamic Workload Balancing},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {174--189},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00321-X},
doi = {10.1016/S1571-0653(04)00321-X},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/JurkowiakLU01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KaporisKSVZ01,
author = {Alexis C. Kaporis and
Lefteris M. Kirousis and
Yannis C. Stamatiou and
Malvina Vamvakari and
Michele Zito},
title = {The unsatisfiability threshold revisited},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {81--95},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00315-4},
doi = {10.1016/S1571-0653(04)00315-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/endm/KaporisKSVZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KautzRAGSS01,
author = {Henry A. Kautz and
Yongshao Ruan and
Dimitris Achlioptas and
Carla P. Gomes and
Bart Selman and
Mark E. Stickel},
title = {Balance and Filtering in Structured Satisfiable Problems (Preliminary
Report)},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {2--18},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00310-5},
doi = {10.1016/S1571-0653(04)00310-5},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/KautzRAGSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KautzS01,
author = {Henry A. Kautz and
Bart Selman},
title = {Preface: Volume 9},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {1},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00309-9},
doi = {10.1016/S1571-0653(04)00309-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/KautzS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/Kullmann01,
author = {Oliver Kullmann},
title = {On the use of autarkies for satisfiability decision},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {231--253},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00325-7},
doi = {10.1016/S1571-0653(04)00325-7},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/Kullmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/LagoudakisL01,
author = {Michail G. Lagoudakis and
Michael L. Littman},
title = {Learning to Select Branching Rules in the {DPLL} Procedure for Satisfiability},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {344--359},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00332-4},
doi = {10.1016/S1571-0653(04)00332-4},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/LagoudakisL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/LynceBM01,
author = {In{\^{e}}s Lynce and
Lu{\'{\i}}s Baptista and
Jo{\~{a}}o Marques{-}Silva},
title = {Stochastic Systematic Search Algorithms for Satisfiability},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {190--204},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00322-1},
doi = {10.1016/S1571-0653(04)00322-1},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/LynceBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/McllraithA01,
author = {Sheila Mcllraith and
Eyal Amir},
title = {Theorem Proving with Structured Theories (Preliminary Report)\({}^{\mbox{*}}\)},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {311--328},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00330-0},
doi = {10.1016/S1571-0653(04)00330-0},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/McllraithA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/Morrisette01,
author = {Tom Morrisette},
title = {The Unreasonable Effectiveness of Alternation-Based Satisfiability
Algorithms},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {254--268},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00326-9},
doi = {10.1016/S1571-0653(04)00326-9},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/Morrisette01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/NuallainRB01,
author = {Breannd{\'{a}}n {\'{O}} Nuall{\'{a}}in and
Maarten de Rijke and
Johan van Benthem},
title = {Ensemble-based prediction of {SAT} search behaviour},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {278--289},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00328-2},
doi = {10.1016/S1571-0653(04)00328-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/NuallainRB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/PattersonK01,
author = {Donald J. Patterson and
Henry A. Kautz},
title = {Auto-Walksat: {A} Self-Tuning Implementation of Walksat},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {360--368},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00333-6},
doi = {10.1016/S1571-0653(04)00333-6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/PattersonK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/RanderathSBHKMSC01,
author = {Bert Randerath and
Ewald Speckenmeyer and
Endre Boros and
Peter L. Hammer and
Alexander Kogan and
Kazuhisa Makino and
Bruno Simeone and
Ondrej Cepek},
title = {A Satisfiability Formulation of Problems on Level Graphs},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {269--277},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00327-0},
doi = {10.1016/S1571-0653(04)00327-0},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/RanderathSBHKMSC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/Roll01,
author = {Andrea Roll},
title = {Criticality and Parallelism in {GSAT}},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {150--161},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00319-1},
doi = {10.1016/S1571-0653(04)00319-1},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/Roll01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/Shlyakhter01,
author = {Ilya Shlyakhter},
title = {Generating effective symmetry-breaking predicates for search problems},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {19--35},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00311-7},
doi = {10.1016/S1571-0653(04)00311-7},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/Shlyakhter01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/SimonC01,
author = {Laurent Simon and
Philippe Chatalic},
title = {SatEx: {A} Web-based Framework for {SAT} Experimentation},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {129--149},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00318-X},
doi = {10.1016/S1571-0653(04)00318-X},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/SimonC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/SinzBK01,
author = {Carsten Sinz and
Wolfgang Blochinger and
Wolfgang K{\"{u}}chlin},
title = {PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation
and Applications},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {205--216},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00323-3},
doi = {10.1016/S1571-0653(04)00323-3},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/SinzBK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/Subramani01,
author = {K. Subramani},
title = {A polyhedral projection procedure for {Q2SAT}},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {369--375},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00334-8},
doi = {10.1016/S1571-0653(04)00334-8},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/Subramani01.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-08-09 19:40 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:
