Conferences in DBLP

Symposium on Abstraction, Reformulation and Approximation (SARA) (sara)
2009 (conf/sara/2009)

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Cluster Graphs as Abstractions for Constraint Satisfaction Problems. [Citation Graph (, )][DBLP]
   
   
3. 
   Abstraction-Based Heuristics with True Distance Computations. [Citation Graph (, )][DBLP]
   
   
4. 
   Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. [Citation Graph (, )][DBLP]
   
   
5. 
   Tightened Transitive Closure of Integer Addition Constraints. [Citation Graph (, )][DBLP]
   
   
6. 
   Confluence of Reduction Rules for Lexicographic Ordering Constraints. [Citation Graph (, )][DBLP]
   
   
7. 
   A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. [Citation Graph (, )][DBLP]
   
   
8. 
   In Search of a Better Method to Break Row and Column Symmetries. [Citation Graph (, )][DBLP]
   
   
9. 
   Abstracting Complex Interaction Networks. [Citation Graph (, )][DBLP]
   
   
10. 
    Downward Path Preserving State Space Abstractions (Extended Abstract). [Citation Graph (, )][DBLP]
    
    
11. 
    Rewriting Constraint Models with Metamodels. [Citation Graph (, )][DBLP]
    
    
12. 
    Abductive Problem Solving with Abstractions. [Citation Graph (, )][DBLP]
    
    
13. 
    Automated Redesign with the General Redesign Engine. [Citation Graph (, )][DBLP]
    
    
14. 
    Automatically Enhancing Constraint Model Instances during Tailoring. [Citation Graph (, )][DBLP]
    
    
15. 
    Common Subexpressions in Constraint Models of Planning Problems. [Citation Graph (, )][DBLP]
    
    
16. 
    SARA2009 Organization. [Citation Graph (, )][DBLP]
    
    
17. 
    Abstract Planning with Unknown Object Quantities and Properties. [Citation Graph (, )][DBLP]
    
    
18. 
    A New Formula Rewriting by Reasoning on a Graphical Representation of SAT Instances. [Citation Graph (, )][DBLP]
    
    
19. 
    A Practical Use of Imperfect Recall. [Citation Graph (, )][DBLP]
    
    
20. 
    Light Algorithms for Maintaining Max-RPC During Search. [Citation Graph (, )][DBLP]
    
    
21. 
    Reformulating Planning Problems by Eliminating Unpromising Actions. [Citation Graph (, )][DBLP]
    
    
22. 
    Modelling Equidistant Frequency Permutation Arrays in Constraints. [Citation Graph (, )][DBLP]
    
    
23. 
    Importance of Variables Semantic in CNF Encoding of Cardinality Constraints. [Citation Graph (, )][DBLP]
    
    
24. 
    Integrating Constraint Models for Sequential and Partial-Order Planning. [Citation Graph (, )][DBLP]
    
    
25. 
    2-C3: From Arc-Consistency to 2-Consistency. [Citation Graph (, )][DBLP]
    
    
26. 
    Ontology-Based Link Prediction in the LiveJournal Social Network. [Citation Graph (, )][DBLP]
    
    
27. 
    Some Interval Approximation Techniques for MINLP. [Citation Graph (, )][DBLP]
    
    
28. 
    Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles. [Citation Graph (, )][DBLP]