LCF - PDFSEARCH.IO - Document Search Engine

LCF
Results: 88

#	Item
1	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
2	Using a SAT Solver as a Fast Decision Procedure for Propositional Logic in an LCF-style Theorem Prover Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:36 Theoretical computer science NP-complete problems Formal methods Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Isabelle Constructible universe LCF Mathematics (SAT -UNSAT)
3	PDF Document Add to Reading List Source URL: www.lcf.pl - Date: 2018-06-06 08:14:01
4	PDF Document Add to Reading List Source URL: www.lcf.pl - Date: 2018-03-19 04:59:56
5	PDF Document Add to Reading List Source URL: www.lcf.pl - Date: 2017-07-17 05:15:33
6	Light scattering by a dense, microscopic cloud of cold atom two level atoms S. Jennewein, L. Brossard, Y.R.P. Sortais, A. Browaeys (LCF, IOGS), P. Cheinet, J. Robert, P. Pillet (LAC, CNRS). The study of the coherent scat Add to Reading List Source URL: www.labex-palm.fr Language: English - Date: 2017-11-06 07:04:59
7	Singularity: DOE LCF HPC container usage Add to Reading List Source URL: www.nitrd.gov Language: English - Date: 2018-04-06 16:40:23
8	Contact: Sylvia Whitman Lemur Conservation Foundation (LCF) Phone: (Fax: ( Add to Reading List Source URL: www.lemurreserve.org - Date: 2016-07-12 15:57:13
9	LCF + Logical Frameworks = Isabelle (25 Years Later) Lawrence C. Paulson, Computer Laboratory, University of Cambridge 16 April 2012 — Milner Symposium, Edinburgh 1979 Add to Reading List Source URL: events.inf.ed.ac.uk - Date: 2012-10-10 03:52:06
10	VERIFI Workshop Scaling up CONVERGE™: ALCF code improvements Kevin Harms Senior Software Developer Performance Team (LCF Division, ANL) Add to Reading List Source URL: blogs.anl.gov Language: English - Date: 2015-05-07 08:32:15 Computing Computer architecture Supercomputers Fujitsu K computer RIKEN Science Supercomputing in Japan IBM General Parallel File System IBM Mira

UPDATE