Q2741519 (Q2741519): Difference between revisions

From MaRDI portal
← Older edit
Import240304020342 (talk | contribs)
4,416,906 edits
Set profile property.
ReferenceBot (talk | contribs)
Bots
1,691,992 edits
‎Changed an Item
 
Property / cites work
 
Property / cites work: Q2723442 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Computing Procedure for Quantification Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Resolution versus search: Two strategies for SAT / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5687266 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The propositional formula checker HeerHugo / rank
 
Normal rank
Property / cites work
 
Property / cites work: Needed: An Empirical Science of Algorithms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Local search algorithms for SAT: an empirical evaluation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2749862 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Knowledge compilation and theory approximation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2741514 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A constraint-based approach to narrow search trees for satisfiability / rank
 
Normal rank
Property / cites work
 
Property / cites work: A machine program for theorem-proving / rank
 
Normal rank
Property / cites work
 
Property / cites work: GRASP: a search algorithm for propositional satisfiability / rank
 
Normal rank

Latest revision as of 19:50, 3 June 2024

scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    author
    Laurent Simon
    0 references
    Philippe Chatalic
    0 references
    publication date
    24 September 2001
    0 references
    zbMATH DE Number
    1642918
    0 references
    zbMATH Keywords
    SAT experimentation
    0 references
    describes a project that uses
    Chaff
    0 references
    SATO
    0 references
    ZRes
    0 references
    SATLIB
    0 references
    HeerHugo
    0 references
    Velev SAT Benchmarks
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2741519&oldid=34284007"
    Powered by MediaWiki