Solution of systems of Boolean equations via the integer domain (Q845342): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.ins.2009.09.010 / rank
Normal rank
 
Property / cites work
 
Property / cites work: A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Diagnosis of Automata Failures: A Calculus and a Method / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving Boolean equations using ROSOP forms / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.INS.2009.09.010 / rank
 
Normal rank

Latest revision as of 05:01, 10 December 2024

scientific article
Language Label Description Also known as
English
Solution of systems of Boolean equations via the integer domain
scientific article

    Statements

    Solution of systems of Boolean equations via the integer domain (English)
    0 references
    0 references
    0 references
    0 references
    28 January 2010
    0 references
    system of Boolean equations
    0 references
    Boolean variables
    0 references
    automatic test-pattern generation
    0 references
    multivariate polynomials
    0 references
    fast polynomial multiplication
    0 references

    Identifiers