Switch to: References

Add citations

You must login to add citations.
  1. Automated reasoning about machines.Andrew Gelsey - 1995 - Artificial Intelligence 74 (1):1-53.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • How does a box work? A study in the qualitative dynamics of solid objects.Ernest Davis - 2011 - Artificial Intelligence 175 (1):299-345.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Using modeling knowledge to guide design space search.Andrew Gelsey, Mark Schwabacher & Don Smith - 1998 - Artificial Intelligence 101 (1-2):35-62.
    Download  
     
    Export citation  
     
    Bookmark   1 citation