SYM-1, a program that detects symmetry of variable-valued logic functions

Urbana: Dept of Computer Science, University of Illinois at Urbana-Champaign (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.45.I4 no. 729

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Selected problems of minimization of variable-valued logic formulas.Roland Phillipe Cuneo - 1975 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
Determination of symmetric VL1 formulas: algorithm and program SYM4.Gerald M. Jenson - 1975 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
A powerful and efficient structural pattern recognition system.Brian L. Cohen - 1977 - Artificial Intelligence 9 (3):223-255.
B. Jähne, H. Haussecker, and P. Geissler, eds., Handbook of Computer Vision and Applications. 1. Sensors and Imaging. 2. Signal Processing and Pattern Recognition. 3. Systems and Applications. [REVIEW]Azriel Rosenfeld - 2000 - Artificial Intelligence 120 (2):271-273.
Intelligent analysis and pattern recognition in cardiotocographic signals using a tightly coupled hybrid system.Bertha Guijarro-Berdiñas, Amparo Alonso-Betanzos & Oscar Fontenla-Romero - 2002 - Artificial Intelligence 136 (1):1-27.
Labelled deductive systems, volume 1, Dov M. Gabbay.Geert-Jan M. Kruijff - 1998 - Journal of Logic, Language and Information 7 (4):502-506.
Variable symmetry breaking in numerical constraint problems.Alexandre Goldsztejn, Christophe Jermann, Vicente Ruiz de Angulo & Carme Torras - 2015 - Artificial Intelligence 229 (C):105-125.
Artificial intelligence and pattern recognition in computer aided design.Robert Sproull - 1980 - Artificial Intelligence 15 (1-2):125-126.
Existence of Finite Total Equivalence Systems for Certain Closed Classes of 3-Valued Logic Functions.Ilya Makarov - 2015 - Logica Universalis 9 (1):1-26.
Speeding up operations on feature terms using constraint programming and variable symmetry.Santiago Ontañón & Pedro Meseguer - 2015 - Artificial Intelligence 220 (C):104-120.

Analytics

Added to PP
2009-01-28

Downloads
2 (#1,893,411)

6 months
2 (#1,686,488)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references