机译:SAT作为线性代数的编程环境
Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland Section of Applied Informatics, University of Commerce, Kielce, Poland;
rnInstitute of Mathematics and Computer Science Jan Dlugosz University, Czestochowa, Poland;
satisfiability; linear algebra; orthogonal matrices; orthogonal groups; declarative pro-gramming;
机译:线性代数的命题编程环境
机译:2SAT紧凑的线性程序
机译:复杂的golay对长度为28:通过计算机代数和编程SAT进行搜索
机译:使用编程SAT解算器对SHA哈希函数进行代数故障攻击
机译:多面体程序中线性代数运算的检测
机译:具有指数隶属函数的模糊环境下非线性规划问题的对偶
机译:适用于2saT的紧凑型线性程序
机译:maX-2-saT和maX-3-saT的半定规划方法:计算视角。