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/sara/sara2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/sara/AmirM00,
author = {Eyal Amir and
Sheila A. McIlraith},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Improving the Efficiency of Reasoning Through Structure-Based Reformulation},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {247--259},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_15},
doi = {10.1007/3-540-44914-0\_15},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/AmirM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BistarelliCR00,
author = {Stefano Bistarelli and
Philippe Codognet and
Francesca Rossi},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {An Abstraction Framework for Soft Constraints and Its Relationship
with Constraint Propagation},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {71--86},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_5},
doi = {10.1007/3-540-44914-0\_5},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/BistarelliCR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BournaudCZ00,
author = {Isabelle Bournaud and
M{\'{e}}lanie Courtine and
Jean{-}Daniel Zucker},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Abstractions for Knowledge Organization of Relational Descriptions},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {87--106},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_6},
doi = {10.1007/3-540-44914-0\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/BournaudCZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/CarrerasH00,
author = {Carlos Carreras and
Manuel V. Hermenegildo},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Grid-Based Histogram Arithmetic for the Probabilistic Analysis of
Functions},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {107--123},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_7},
doi = {10.1007/3-540-44914-0\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/CarrerasH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChenOR00,
author = {Rui Chen and
Min Ouyang and
Peter Z. Revesz},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Approximating Data in Constraint Databases},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {124--143},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_8},
doi = {10.1007/3-540-44914-0\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/ChenOR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChirkovaG00,
author = {Rada Chirkova and
Michael R. Genesereth},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Linearly Bounded Reformulations of Unary Databases},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {144--163},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_9},
doi = {10.1007/3-540-44914-0\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/ChirkovaG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Cousot00,
author = {Patrick Cousot},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Partial Completeness of Abstract Fixpoint Checking},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {1--25},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_1},
doi = {10.1007/3-540-44914-0\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Cousot00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Dietterich00,
author = {Thomas G. Dietterich},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {An Overview of {MAXQ} Hierarchical Reinforcement Learning},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {26--44},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_2},
doi = {10.1007/3-540-44914-0\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Dietterich00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Ellman00,
author = {Thomas Ellman},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Program Synthesis and Transformation Techniques for Simulation, Optimization,
and Constraint Satisfaction},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {317--319},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_23},
doi = {10.1007/3-540-44914-0\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Ellman00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FrankJM00,
author = {Jeremy Frank and
Ari K. J{\'{o}}nsson and
Paul H. Morris},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {On Reformulating Planning as Dynamic Constraint Satisfaction},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {271--280},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_17},
doi = {10.1007/3-540-44914-0\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/FrankJM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FriesG00,
author = {Terrence P. Fries and
James H. Graham},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {An Agent-Based Approach to Robust Switching Between Abstraction Levels
for Fault Diagnosis},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {303--308},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_20},
doi = {10.1007/3-540-44914-0\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/FriesG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Furcy00,
author = {David Furcy},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Using and Learning Abstraction Hierarchies for Planning},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {320--321},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_24},
doi = {10.1007/3-540-44914-0\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Furcy00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Getoor00,
author = {Lise Getoor},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Learning Probabilistic Relational Models},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {322--323},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_25},
doi = {10.1007/3-540-44914-0\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Getoor00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/HernadvolgyiH00,
author = {Istv{\'{a}}n T. Hern{\'{a}}dv{\"{o}}lgyi and
Robert C. Holte},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Experiments with Automatically Created Memory-Based Heuristics},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {281--290},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_18},
doi = {10.1007/3-540-44914-0\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/HernadvolgyiH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Korf00,
author = {Richard E. Korf},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Recent Progress in the Design and Analysis of Admissible Heuristic
Functions},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {45--55},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_3},
doi = {10.1007/3-540-44914-0\_3},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Korf00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Kumar00,
author = {T. K. Satish Kumar},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {A Compositional Approach to Causality},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {309--312},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_21},
doi = {10.1007/3-540-44914-0\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Kumar00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Kumar00a,
author = {T. K. Satish Kumar},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Synergy between Compositional Modeling and Bayesian Networks},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {324--325},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_26},
doi = {10.1007/3-540-44914-0\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Kumar00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/LecoutreMBG00,
author = {Christophe Lecoutre and
Sylvain Merchez and
Fr{\'{e}}d{\'{e}}ric Boussemart and
{\'{E}}ric Gr{\'{e}}goire},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {A {CSP} Abstraction Framework},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {164--184},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_10},
doi = {10.1007/3-540-44914-0\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/LecoutreMBG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/LecoutreMBG00a,
author = {Christophe Lecoutre and
Sylvain Merchez and
Fr{\'{e}}d{\'{e}}ric Boussemart and
{\'{E}}ric Gr{\'{e}}goire},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {A {CSP} Abstraction Framework},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {326--327},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_27},
doi = {10.1007/3-540-44914-0\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/LecoutreMBG00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Li00,
author = {Chen Li},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Answering Queries with Database Restrictions},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {328--329},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_28},
doi = {10.1007/3-540-44914-0\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Li00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Novak00,
author = {Gordon S. Novak Jr.},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Interactions of Abstractions in Programming},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {185--201},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_11},
doi = {10.1007/3-540-44914-0\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Novak00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Novak00a,
author = {Gordon S. Novak Jr.},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Research Summary},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {330--331},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_29},
doi = {10.1007/3-540-44914-0\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Novak00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/OkuboHZ00,
author = {Yoshiaki Okubo and
Makoto Haraguchi and
Yan Fang Zheng},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {A Method for Finding Consistent Hypotheses Using Abstraction},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {313--316},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_22},
doi = {10.1007/3-540-44914-0\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/OkuboHZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Revesz00,
author = {Peter Z. Revesz},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Reformulation and Approximation in Model Checking},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {202--218},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_12},
doi = {10.1007/3-540-44914-0\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Revesz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SaittaZ00,
author = {Lorenza Saitta and
Jean{-}Daniel Zucker},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Abstraction and Phase Transitions in Relational Learning},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {291--302},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_19},
doi = {10.1007/3-540-44914-0\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/SaittaZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SpaccapietraPV00,
author = {Stefano Spaccapietra and
Christine Parent and
Christelle Vangenot},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {{GIS} Databases: From Multiscale to MultiRepresentation},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {57--70},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_4},
doi = {10.1007/3-540-44914-0\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/SpaccapietraPV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/UtherV00,
author = {William T. B. Uther and
Manuela M. Veloso},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {The Lumberjack Algorithm for Learning Linked Decision Forests},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {219--232},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_13},
doi = {10.1007/3-540-44914-0\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/UtherV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Walsh00,
author = {Toby Walsh},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Reformulating Propositional Satisfiability as Constraint Satisfaction},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {233--246},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_14},
doi = {10.1007/3-540-44914-0\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/Walsh00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/desJardinsGK00,
author = {Marie desJardins and
Lise Getoor and
Daphne Koller},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Using Feature Hierarchies in Bayesian Network Learning},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {260--270},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_16},
doi = {10.1007/3-540-44914-0\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/desJardinsGK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2000,
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0},
doi = {10.1007/3-540-44914-0},
isbn = {3-540-67839-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/2000.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-07-05 18:32 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:
