SAT - PDFSEARCH.IO - Document Search Engine

SAT
Results: 13930

#	Item
1	Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen Goal Add to Reading List Source URL: ko.stoffelen.nl Language: English - Date: 2018-02-09 07:39:37 Logic gates XNOR gate Circuit
2	Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:35:24 Mathematical logic Type theory Computability theory Lambda calculus Theoretical computer science Model theory Higher-order logic Constructible universe Mathematics
3	Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen Radboud University, Digital Security, Nijmegen, The Netherlands Add to Reading List Source URL: ko.stoffelen.nl Language: English - Date: 2018-02-09 07:40:06 Logic gates Theoretical computer science Boolean satisfiability problem XOR gate XNOR gate AND gate Data Encryption Standard OR gate Block cipher Mathematical optimization Circuit
4	Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:26 Proof assistants Theoretical computer science Logic in computer science Mathematical logic Isabelle Logic for Computable Functions Mathematics Resolution Constructible universe Theorem prover LCF Formal methods
5	Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-03-05 21:15:02
6	Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen About this work Add to Reading List Source URL: ko.stoffelen.nl Language: English - Date: 2018-02-09 07:39:36
7	SAT-based Finite Model Generation for Isabelle/HOL Tjark Weber Summer School Marktoberdorf, August 9, 2005 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:34 Mathematical logic Computability theory Type theory Theoretical computer science Metalogic Model theory Lambda calculus Constructible universe Mathematics
8	SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell 11th International Conference, SAT 2008 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-05-19 09:02:24 Theoretical computer science Mathematics Mathematical logic Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Solver Propositional calculus AMPL Modulo operation
9	Introduction Finite Model Generation Extensions and Optimizations Case Studies Integration of Proof-Producing SAT Solvers Conclusion Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2008-10-09 08:41:17 Mathematical logic Logic Boolean algebra Mathematics Classical logic Propositional calculus Model theory
10	MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras Universitat Politecnica de Catalunya, Jordi Girona 1-3, 08034 Barcelona, Spain Abstract. In this paper we introduce M INI M A Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-03-01 08:21:24 Theoretical computer science Mathematics Computational complexity theory Logic in computer science Automated theorem proving Boolean algebra NP-complete problems Combinatorial optimization Maximum satisfiability problem Boolean satisfiability problem Resolution Unit propagation