• Login
    Search 
    •   FFI Publications Home
    • Publications
    • Search
    •   FFI Publications Home
    • Publications
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-1 of 1

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100

    Solving non-linear Boolean equation systems by variable elimination 

    Greve, Bjørn Møller; Ytrehus, Øyvind; Raddum, Håvard; Fløystad, Gunnar (2019-08-17)
    In this paper we study Boolean equation systems, and how to eliminate variables from them while bounding the degree of polynomials produced. A procedure for variable elimination is introduced, and we relate the techniques ...

    Browse

    All of FFI PublicationsCommunities & CollectionsBy Issue DateAuthorsTitlesThis CommunityBy Issue DateAuthorsTitles

    My Account

    Login

    Discover

    AuthorFløystad, Gunnar (1)Greve, Bjørn Møller (1)
    Raddum, Håvard (1)
    Ytrehus, Øyvind (1)Date Issued2019 (1)

    CONTACT US

    • FFI Kjeller
      FFI, PO Box 25, 2027 Kjeller
    • Office Address: Instituttvn 20,
      Phone 63 80 70 00
    • biblioteket@ffi.no

    HELPFUL

    • About FFI
    • Career
    • Reports

    Sitemap

    • About cookies (cookies)
    • Newsletter
    • Sitemap

    FOLLOW US

     

     

    © Copyright Norwegian Defence Research Establishment
    Powered by KnowledgeArc