Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 1 van 1 gevonden artikelen
 
 
  SAT as a Programming Environment for Linear Algebra
 
 
Titel: SAT as a Programming Environment for Linear Algebra
Auteur: Srebrny, Marian
StepieĊ„, Lidia
Verschenen in: Fundamenta informaticae
Paginering: Jaargang 102 (2010) nr. 1 pagina's 115-127
Jaar: 2010-09-24
Inhoud: In this paper we pursue the propositional calculus and the SATisfiability solvers as a powerful declarative programming environment that makes it possible to create and run the propositional declarative programs for computational tasks in various areas of mathematics. We report some experimental results on our application of the propositional SATisfiability environment to computing some simple orthogonal matrices and the orders of some orthogonal groups. Some encouraging (and not very encouraging) experiments are reported for the proposed propositional search procedures using off-the-shelf general-purpose SAT solvers. Our new software toolkit SAT4Alg is announced.
Uitgever: IOS Press
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 1 van 1 gevonden artikelen
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland