Ls - PDFSEARCH.IO - Document Search Engine

Ls
Results: 6490

#	Item
1	Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2010-07-28 04:32:18 Mathematics Theoretical computer science Automated theorem proving Algebra Logic in computer science Algebraic structures Semiring Boolean satisfiability problem DPLL algorithm Unit propagation Maximum satisfiability problem Resolution
2	LS-Designs: Bitslice Encryption for Efficient Masked Software Implementations Vincent Grosso1 , Ga¨etan Leurent1,2 , Fran¸cois-Xavier Standaert1 , Kerem Varici1 1 ICTEAM/ELEN/Crypto Group, Universit´e catholique de L Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2018-06-14 07:12:36 Cryptography Block ciphers Differential cryptanalysis Q Data Encryption Standard ICE S-box ARIA VEST NOEKEON Advanced Encryption Standard Substitutionpermutation network
3	PDF Document Add to Reading List Source URL: www.ls.shizuoka.ac.jp - Date: 2016-05-17 05:18:34
4	PDF Document Add to Reading List Source URL: billstatus.ls.state.ms.us - Date: 2018-01-22 17:01:49
5	PDF Document Add to Reading List Source URL: www.ls-suchtfragen-lsa.de - Date: 2017-12-11 19:55:38
6	PDF Document Add to Reading List Source URL: www.ls-japan.org - Date: 2017-07-07 04:11:00
7	PDF Document Add to Reading List Source URL: www.ls-live.com - Date: 2015-09-11 14:54:56
8	PDF Document Add to Reading List Source URL: ls.informatik.uni-tuebingen.de - Date: 2011-02-18 07:07:56
9	PDF Document Add to Reading List Source URL: www.ls.huji.ac.il - Date: 2005-01-24 09:38:04
10	PDF Document Add to Reading List Source URL: www.ls-suchtfragen-lsa.de - Date: 2017-03-20 22:34:53