SAT - PDFSEARCH.IO - Document Search Engine

SAT
Results: 13930

#	Item
31	Fastly API Documentation Documentation API (/api/) Generated: Sat, 30 June:04:44 +0000 Add to Reading List Source URL: docs-archive.fastly.com Language: English - Date: 2018-10-01 11:52:38 Computer access control Computer security Access control Security engineering Multi-factor authentication Application programming interface Access token One-time password Web API security IBM API Management
32	Efficient Generation of Unsatisfiability Proofs and Cores in SAT Roberto As´ın, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell? Abstract. Some modern DPLL-based propositional SAT solvers now have fas Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-09-01 09:50:28 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Logic in computer science Propositional calculus Constraint programming DPLL algorithm Logic programming Boolean satisfiability problem Unsatisfiable core Maximum satisfiability problem
33	PDF Document Add to Reading List Source URL: sat.isa.ru - Date: 2012-01-12 00:49:14
34	PDF Document Add to Reading List Source URL: sat.isa.ru - Date: 2015-05-26 05:21:07
35	DOC Document Add to Reading List Source URL: www2.sat.gob.mx - Date: 2012-11-09 19:21:10
36	PDF Document Add to Reading List Source URL: www.b-sat.co.jp - Date: 2017-09-20 00:49:55
37	DOC Document Add to Reading List Source URL: www2.sat.gob.mx - Date: 2012-11-09 19:21:08
38	PDF Document Add to Reading List Source URL: www.sat.t.u-tokyo.ac.jp - Date: 2012-05-22 00:52:29
39	DOC Document Add to Reading List Source URL: www2.sat.gob.mx - Date: 2012-11-09 19:21:10
40	PDF Document Add to Reading List Source URL: www.b-sat.co.jp - Date: 2017-06-29 03:21:49