Generating logical expressions from positive and negative examples via a branch-and-bound approach
type: Item
instance of: scholarly article
title: Generating logical expressions from positive and negative examples via a branch-and-bound approach
zbMATH Open document ID: 0798.90133
DOI: 10.1016/0305-0548(94)90051-5
author: Evangelos Triantaphyllou
author: Allen L. Soyster
author: Soundar R. T. Kumara
published in: Computers \& Operations Research
publication date: 1994-04-26T00:00:00Z
Mathematics Subject Classification ID: 90C90
Mathematics Subject Classification ID: 68T35
Mathematics Subject Classification ID: 90C10
zbMATH DE Number: 540691
zbMATH Keywords: logical system
zbMATH Keywords: branch-and-bound
MaRDI profile type: Publication
full work available at URL: 0305-0548(94)90051-5
OpenAlex ID: W1994109348
cites work: A theory of the learnable
cites work: Computational limitations on learning from examples
cites work: Resolution vs. cutting plane solution of inference problems: Some computational experience
cites work: Modeling and integer programming techniques applied to propositional calculus
cites work: Computational experience with an interior point algorithm on the satisfiability problem
cites work: Some results and experiments in programming techniques for propositional logic
cites work: A Relationship Between CNF and DNF Systems Derivable from Examples
cites work: An approach to guided learning of Boolean functions
description: scientific article; zbMATH DE number 540691