Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 2009
    DBLP: db/conf/sara/sara2009.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 28  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    no author found.
    Preface.
    Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 2009 (0) 2009
    Conference paper
    no author found.
    SARA2009 Organization.
    Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 2009 (0) 2009
    Conference paper
    Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein.
    Abstract Planning with Unknown Object Quantities and Properties.
    Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 2009 (0) 2009
    Conference paper
    Philippe Jégou, Lionel Paris.
    A New Formula Rewriting by Reasoning on a Graphical Representation of SAT Instances.
    Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 2009 (0) 2009
    Conference paper
    Kevin Waugh, Martin Zinkevich, Michael Johanson, Morgan Kan, David Schnizlein, Michael H. Bowling.
    A Practical Use of Imperfect Recall.
    Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 2009 (0) 2009
    Conference paper
    Julien Vion, Romuald Debruyne.
    Light Algorithms for Maintaining Max-RPC During Search.
    Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 2009 (0) 2009
    Conference paper
    Lukás Chrpa, Roman Barták.
    Reformulating Planning Problems by Eliminating Unpromising Actions.
    Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 2009 (0) 2009
    Conference paper
    Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightingale, Sophie Huczynska.
    Modelling Equidistant Frequency Permutation Arrays in Constraints.
    Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 2009 (0) 2009
    Conference paper
    Anbulagan, Alban Grastien.
    Importance of Variables Semantic in CNF Encoding of Cardinality Constraints.
    Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 2009 (0) 2009
    Conference paper
    Roman Barták, Daniel Toropila.
    Integrating Constraint Models for Sequential and Partial-Order Planning.
    Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 2009 (0) 2009
    Show item 1 to 10 of 28  

    Your query returned 28 matches in the database.