Regular-SAT: A many-valued approach to solving combinatorial problems (Q2643307): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: Velev SAT Benchmarks / rank
 
Normal rank

Revision as of 03:24, 29 February 2024

scientific article
Language Label Description Also known as
English
Regular-SAT: A many-valued approach to solving combinatorial problems
scientific article

    Statements

    Regular-SAT: A many-valued approach to solving combinatorial problems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    23 August 2007
    0 references
    0 references
    combinatorial problem solving
    0 references
    many-valued logic
    0 references
    satisfiability
    0 references
    solvers
    0 references