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/jar/jar24.bht:"
download as .bib file
@article{DBLP:journals/jar/AbramoviciS00,
author = {Miron Abramovici and
Jos{\'{e}} T. de Sousa},
title = {A {SAT} Solver Using Reconfigurable Hardware and Virtual Logic},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {5--36},
year = {2000},
url = {https://doi.org/10.1023/A:1006310219368},
doi = {10.1023/A:1006310219368},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AbramoviciS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BalsigerHS00,
author = {Peter Balsiger and
Alain Heuerding and
Stefan Schwendimann},
title = {A Benchmark Method for the Propositional Modal Logics K, KT, {S4}},
journal = {J. Autom. Reason.},
volume = {24},
number = {3},
pages = {297--317},
year = {2000},
url = {https://doi.org/10.1023/A:1006249507577},
doi = {10.1023/A:1006249507577},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BalsigerHS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GentW00,
author = {Ian P. Gent and
Toby Walsh},
title = {Satisfiability in the Year 2000},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {1--3},
year = {2000},
url = {https://doi.org/10.1023/A:1006338702529},
doi = {10.1023/A:1006338702529},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GentW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GomesSCK00,
author = {Carla P. Gomes and
Bart Selman and
Nuno Crato and
Henry A. Kautz},
title = {Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction
Problems},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {67--100},
year = {2000},
url = {https://doi.org/10.1023/A:1006314320276},
doi = {10.1023/A:1006314320276},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GomesSCK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GrooteW00,
author = {Jan Friso Groote and
Joost P. Warners},
title = {The Propositional Formula Checker HeerHugo},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {101--125},
year = {2000},
url = {https://doi.org/10.1023/A:1006366304347},
doi = {10.1023/A:1006366304347},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GrooteW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Hirsch00,
author = {Edward A. Hirsch},
title = {{SAT} Local Search Algorithms: Worst-Case Study},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {127--143},
year = {2000},
url = {https://doi.org/10.1023/A:1006318521185},
doi = {10.1023/A:1006318521185},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Hirsch00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Hirsch00a,
author = {Edward A. Hirsch},
title = {New Worst-Case Upper Bounds for {SAT}},
journal = {J. Autom. Reason.},
volume = {24},
number = {4},
pages = {397--420},
year = {2000},
url = {https://doi.org/10.1023/A:1006340920104},
doi = {10.1023/A:1006340920104},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Hirsch00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HoosS00,
author = {Holger H. Hoos and
Thomas St{\"{u}}tzle},
title = {Local Search Algorithms for {SAT:} An Empirical Evaluation},
journal = {J. Autom. Reason.},
volume = {24},
number = {4},
pages = {421--481},
year = {2000},
url = {https://doi.org/10.1023/A:1006350622830},
doi = {10.1023/A:1006350622830},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HoosS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KlerkMW00,
author = {Etienne de Klerk and
Hans van Maaren and
Joost P. Warners},
title = {Relaxations of the Satisfiability Problem Using Semidefinite Programming},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {37--65},
year = {2000},
url = {https://doi.org/10.1023/A:1006362203438},
doi = {10.1023/A:1006362203438},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KlerkMW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KuchlinS00,
author = {Wolfgang K{\"{u}}chlin and
Carsten Sinz},
title = {Proving Consistency Assertions for Automotive Product Data Management},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {145--163},
year = {2000},
url = {https://doi.org/10.1023/A:1006370506164},
doi = {10.1023/A:1006370506164},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KuchlinS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Massacci00,
author = {Fabio Massacci},
title = {Single Step Tableaux for Modal Logics},
journal = {J. Autom. Reason.},
volume = {24},
number = {3},
pages = {319--364},
year = {2000},
url = {https://doi.org/10.1023/A:1006155811656},
doi = {10.1023/A:1006155811656},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Massacci00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MassacciM00,
author = {Fabio Massacci and
Laura Marraro},
title = {Logical Cryptanalysis as a {SAT} Problem},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {165--203},
year = {2000},
url = {https://doi.org/10.1023/A:1006326723002},
doi = {10.1023/A:1006326723002},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MassacciM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MillsT00,
author = {Patrick Mills and
Edward P. K. Tsang},
title = {Guided Local Search for Solving {SAT} and Weighted {MAX-SAT} Problems},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {205--223},
year = {2000},
url = {https://doi.org/10.1023/A:1006343127545},
doi = {10.1023/A:1006343127545},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MillsT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PadmanabhanP00,
author = {R. Padmanabhan and
P. Penner},
title = {A Hyperbase for Binary Lattice Hyperidentities},
journal = {J. Autom. Reason.},
volume = {24},
number = {3},
pages = {365--370},
year = {2000},
url = {https://doi.org/10.1023/A:1006279127474},
doi = {10.1023/A:1006279127474},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/PadmanabhanP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RichardsR00,
author = {E. Thomas Richards and
Barry Richards},
title = {Nonsystematic Search and No-Good Learning},
journal = {J. Autom. Reason.},
volume = {24},
number = {4},
pages = {483--533},
year = {2000},
url = {https://doi.org/10.1023/A:1006362926464},
doi = {10.1023/A:1006362926464},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/RichardsR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RishD00,
author = {Irina Rish and
Rina Dechter},
title = {Resolution versus Search: Two Strategies for {SAT}},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {225--275},
year = {2000},
url = {https://doi.org/10.1023/A:1006303512524},
doi = {10.1023/A:1006303512524},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/RishD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Sutcliffe00,
author = {Geoff Sutcliffe},
title = {The {CADE-16} {ATP} System Competition},
journal = {J. Autom. Reason.},
volume = {24},
number = {3},
pages = {371--396},
year = {2000},
url = {https://doi.org/10.1023/A:1006393501098},
doi = {10.1023/A:1006393501098},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Sutcliffe00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ZhangS00,
author = {Hantao Zhang and
Mark E. Stickel},
title = {Implementing the Davis-Putnam Method},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {277--296},
year = {2000},
url = {https://doi.org/10.1023/A:1006351428454},
doi = {10.1023/A:1006351428454},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/ZhangS00.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-04 09:54 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:
