University of Aberdeen

AURA - Aberdeen University Research Archive

View Item 
  •   AURA Home
  • 5 - All research
  • All research
  • View Item
  •   AURA Home
  • 5 - All research
  • All research
  • View Item
  •   AURA Home
  • 5 - All research
  • All research
  • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      HyperTensioN and Total-order Forward Decomposition optimizations

      View/Open
      2207.00345v1.pdf (403.9Kb)
      Publication date
      01/07/2022
      Author
      Magnaguagno, Maurício Cecílio
      Meneguzzi, Felipe
      Silva, Lavindra de
      Metadata
      Show full item record
      Citation
      Magnaguagno , M C , Meneguzzi , F & Silva , L D 2022 ' HyperTensioN and Total-order Forward Decomposition optimizations ' ArXiv .
      URI
      https://hdl.handle.net/2164/19640
      Collections
      • All research

      Browse

      All of AURACommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects
      Top of Page
      • AURA Home
      • Accessibility
      • PURE
      • Digital Resources
      • Library, Special Collections & Museums
      • Take-Down Notice
      • Send Feedback
      • Contact Us
         
       
      Library, Special Collections and Museums logo
      The Sir Duncan Rice Library
      University of Aberdeen
      Bedford Road
      Aberdeen
      AB24 3AA

      Tel: +44 (0)1224 273330
      Email: library@abdn.ac.uk
       
         

      Share and keep up to date

      FacebookTwitterWordpress

      • AURA Home
      • Accessibility
      • PURE
      • Digital Resources
      • Library, Special Collections & Museums
      • Take-Down Notice
      • Send Feedback
      • Contact Us