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/sara2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/sara/AbreuG09,
author = {Rui Abreu and
Arjan J. C. van Gemund},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application
to Model-Based Diagnosis},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/834},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/AbreuG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AnbulaganG09,
author = {Anbulagan and
Alban Grastien},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Importance of Variables Semantic in {CNF} Encoding of Cardinality
Constraints},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/803},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/AnbulaganG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AranguSB09,
author = {Marlene Arang{\'{u}} and
Miguel A. Salido and
Federico Barber},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {2-C3: From Arc-Consistency to 2-Consistency},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/820},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/AranguSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BartakT09,
author = {Roman Bart{\'{a}}k and
Daniel Toropila},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Integrating Constraint Models for Sequential and Partial-Order Planning},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/835},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/BartakT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BergerG09,
author = {Nicolas Berger and
Laurent Granvilliers},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Some Interval Approximation Techniques for {MINLP}},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/798},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/BergerG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/CarageaBAH09,
author = {Doina Caragea and
Vikas Bahirwani and
Waleed Aljandal and
William H. Hsu},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Ontology-Based Link Prediction in the LiveJournal Social Network},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/831},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/CarageaBAH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChenouardGS09,
author = {Rapha{\"{e}}l Chenouard and
Laurent Granvilliers and
Ricardo Soto},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Rewriting Constraint Models with Metamodels},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/786},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/ChenouardGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChrpaB09,
author = {Luk{\'{a}}s Chrpa and
Roman Bart{\'{a}}k},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Reformulating Planning Problems by Eliminating Unpromising Actions},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/826},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/ChrpaB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/EpsteinL09,
author = {Susan L. Epstein and
Xingjian Li},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Cluster Graphs as Abstractions for Constraint Satisfaction Problems},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/819},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/EpsteinL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FeldmanPKKG09,
author = {Alexander Feldman and
Gregory M. Provan and
Johan de Kleer and
Lukas D. Kuhn and
Arjan J. C. van Gemund},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Automated Redesign with the General Redesign Engine},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/836},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/FeldmanPKKG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FelnerS09,
author = {Ariel Felner and
Nathan R. Sturtevant},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Abstraction-Based Heuristics with True Distance Computations},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/825},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/FelnerS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GentMMNH09,
author = {Ian P. Gent and
Paul McKay and
Ian Miguel and
Peter Nightingale and
Sophie Huczynska},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Modelling Equidistant Frequency Permutation Arrays in Constraints},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/818},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/GentMMNH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GraylandMR09,
author = {Andrew Grayland and
Ian Miguel and
Colva M. Roney{-}Dougal},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Confluence of Reduction Rules for Lexicographic Ordering Constraints},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/832},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/GraylandMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/GraylandMR09a,
author = {Andrew Grayland and
Ian Miguel and
Colva M. Roney{-}Dougal},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {In Search of a Better Method to Break Row and Column Symmetries},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/829},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/GraylandMR09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/HinrichsKG09,
author = {Timothy L. Hinrichs and
Eric Jui{-}Yi Kao and
Michael R. Genesereth},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/785},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/HinrichsKG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/JegouP09,
author = {Philippe J{\'{e}}gou and
Lionel Paris},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {A New Formula Rewriting by Reasoning on a Graphical Representation
of {SAT} Instances},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/796},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/JegouP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/RendlMGG09,
author = {Andrea Rendl and
Ian Miguel and
Ian P. Gent and
Peter Gregory},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Common Subexpressions in Constraint Models of Planning Problems},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/823},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/RendlMGG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/RendlMGJ09,
author = {Andrea Rendl and
Ian Miguel and
Ian P. Gent and
Christopher Jefferson},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Automatically Enhancing Constraint Model Instances during Tailoring},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/824},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/RendlMGJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Revesz09,
author = {Peter Z. Revesz},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Tightened Transitive Closure of Integer Addition Constraints},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/833},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/Revesz09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SaittaHZ09,
author = {Lorenza Saitta and
Corneliu Henegar and
Jean{-}Daniel Zucker},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Abstracting Complex Interaction Networks},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/821},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/SaittaHZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/SrivastavaIZ09,
author = {Siddharth Srivastava and
Neil Immerman and
Shlomo Zilberstein},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Abstract Planning with Unknown Object Quantities and Properties},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/827},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/SrivastavaIZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/TortaD09,
author = {Gianluca Torta and
Daniele Theseider Dupr{\'{e}}},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Abductive Problem Solving with Abstractions},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/828},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/TortaD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/VelevG09,
author = {Miroslav N. Velev and
Ping Gao},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Efficient {SAT} Techniques for Absolute Encoding of Permutation Problems:
Application to Hamiltonian Cycles},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/837},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/VelevG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/VionD09,
author = {Julien Vion and
Romuald Debruyne},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Light Algorithms for Maintaining Max-RPC During Search},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/822},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/VionD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/WaughZJKSB09,
author = {Kevin Waugh and
Martin Zinkevich and
Michael Johanson and
Morgan Kan and
David Schnizlein and
Michael H. Bowling},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {A Practical Use of Imperfect Recall},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/839},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/WaughZJKSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/X09,
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {{SARA2009} Organization},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/1030},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/X09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/X09a,
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Preface},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/1029},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/X09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ZillesH09,
author = {Sandra Zilles and
Robert C. Holte},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Downward Path Preserving State Space Abstractions (Extended Abstract)},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/784},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/ZillesH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sara/2009,
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
timestamp = {Sun, 09 May 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/2009.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-06 17:27 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:
