Discover open access scientific publications

Search, annotate, share and cite publications

Publications by John Schlipf

Extending Existential Quantification in Conjunctions of BDDs

Journal on Satisfiability, Boolean Modeling and Computation

English

Related publications

Numeral Indeterminate Phrases and Their Existential Quantification by Mo in Japanese

ENGLISH LINGUISTICS

English

Obfuscating Conjunctions

Journal of Cryptology

Applied Mathematics

Computer Science Applications

English

Learning Conjunctions of Horn Clauses

Machine Learning

Artificial Intelligence

English

Polysemantic Conjunctions in the Modern Mari Language

Bulletin of Ugric Studies

Philosophy of Science

English

Text-Forming Function of Conjunctions

Bulletin of the Karaganda University. Philology series

English

Inheritance of Attributes in Natural Concept Conjunctions

Memory and Cognition

Neuropsychology

Cognitive Psychology

Physiological Psychology

English

Parallel Coding of Conjunctions in Visual Search

Perception & Psychophysics

English

The Role of Attention in Illusory Conjunctions

Perception & Psychophysics

English

Implementation of Propositional Temporal Logics Using BDDs

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English