Search dblp for Publications

export results for "toc:db/conf/sara/sara2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sara/AavaniMT13,
  author       = {Amir Aavani and
                  David G. Mitchell and
                  Eugenia Ternovska},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {New Encoding for Translating Pseudo-Boolean Constraints into {SAT}},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7212},
  timestamp    = {Tue, 09 Feb 2021 08:32:52 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/AavaniMT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/AlhossainiB13,
  author       = {Maher A. Alhossaini and
                  J. Christopher Beck},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Instance-Specific Remodelling of Planning Domains by Adding Macros
                  and Removing Operators},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7231},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/AlhossainiB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/Beck13,
  author       = {J. Christopher Beck},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Modeling, Global Constraints, and Decomposition},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7240},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/Beck13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/BessiereKRW13,
  author       = {Christian Bessiere and
                  Zeynep Kiziltan and
                  Andrea Rappini and
                  Toby Walsh},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {A Framework for Combining Set Variable Representations},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7214},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/BessiereKRW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/ChrpaVM13,
  author       = {Luk{\'{a}}s Chrpa and
                  Mauro Vallati and
                  Thomas Leo McCluskey},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Determining Linearity of Optimal Plans by Operator Schema Analysis},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7230},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/ChrpaVM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/ChrpaVMK13,
  author       = {Luk{\'{a}}s Chrpa and
                  Mauro Vallati and
                  Thomas Leo McCluskey and
                  Diane E. Kitchin},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Generating Macro-Operators by Exploiting Inner Entanglements},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7229},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/ChrpaVMK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/DvorakTB13,
  author       = {Filip Dvorak and
                  Daniel Toropila and
                  Roman Bart{\'{a}}k},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Towards {AI} Planning Efficiency: Finite-Domain State Variable Reformulation},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7257},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/DvorakTB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/Holte13,
  author       = {Robert C. Holte},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Korf's Conjecture and the Future of Abstraction-Based Heuristics},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7219},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/Holte13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/JabbourLS13,
  author       = {Sa{\"{\i}}d Jabbour and
                  Jerry Lonlac and
                  Lakhdar Sa{\"{\i}}s},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Adding New Bi-Asserting Clauses for Faster Search in Modern {SAT}
                  Solvers},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7263},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sara/JabbourLS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/KumarCK13,
  author       = {T. K. Satish Kumar and
                  Marcello Cirillo and
                  Sven Koenig},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {On the Traveling Salesman Problem with Simple Temporal Constraints},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7260},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/KumarCK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/KumarCK13a,
  author       = {T. K. Satish Kumar and
                  Liron Cohen and
                  Sven Koenig},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Incorrect Lower Bounds for Path Consistency and More},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7266},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/KumarCK13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/KumarCK13b,
  author       = {T. K. Satish Kumar and
                  Liron Cohen and
                  Sven Koenig},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Submodular Constraints and Planar Constraint Networks: New Results},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7265},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/KumarCK13b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/MahmoodS13,
  author       = {Ashique Rupam Mahmood and
                  Richard S. Sutton},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Position Paper: Representation Search through Generate and Test},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7255},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/MahmoodS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/MohapatraG13,
  author       = {Abhijeet Mohapatra and
                  Michael R. Genesereth},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Reformulating Aggregate Queries Using Views},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7235},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/MohapatraG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/MouelhiJT13,
  author       = {Achref El Mouelhi and
                  Philippe J{\'{e}}gou and
                  Cyril Terrioux},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Microstructures for CSPs with Constraints of Arbitrary Arity},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7253},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/MouelhiJT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/SadeqiHZ13,
  author       = {Mehdi Sadeqi and
                  Robert C. Holte and
                  Sandra Zilles},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Using Coarse State Space Abstractions to Detect Mutex Pairs},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7222},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/SadeqiHZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/Saitta13,
  author       = {Lorenza Saitta},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Abstraction: {A} Historical and Interdisciplinary Perspective},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7249},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/Saitta13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/SeijenWK13,
  author       = {Harm van Seijen and
                  Shimon Whiteson and
                  Leon J. H. M. Kester},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Efficient Abstraction Selection in Reinforcement Learning (Extended
                  Abstract)},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7259},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/SeijenWK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/Sturtevant13,
  author       = {Nathan R. Sturtevant},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {External Memory PDBs: Initial Results},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7271},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/Sturtevant13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/Surynek13,
  author       = {Pavel Surynek},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Optimal Cooperative Path-Finding with Generalized Goals in Difficult
                  Cases},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7254},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/Surynek13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/X13,
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {{SARA} 2013 Organization},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7277},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/X13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/X13a,
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Preface},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7264},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/X13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sara/X13b,
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Past {SARA} Symposia},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7278},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/X13b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sara/2013,
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/Library/SARA/sara13contents},
  isbn         = {978-1-57735-630-1},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/2013.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.