Generating logical expressions from positive and negative examples via a branch-and-bound approach (Q1318514): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0305-0548(94)90051-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1994109348
@@ Property / OpenAlex ID: W1994109348 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of the learnable
@@ Property / cites work: A theory of the learnable / rank @@
+Normal rank
@@ Property / cites work @@
+Computational limitations on learning from examples
+Normal rank
@@ Property / cites work @@
+Resolution vs. cutting plane solution of inference problems: Some computational experience
+Normal rank
@@ Property / cites work @@
+Modeling and integer programming techniques applied to propositional calculus
+Normal rank
@@ Property / cites work @@
+Computational experience with an interior point algorithm on the satisfiability problem
+Normal rank
@@ Property / cites work @@
+Some results and experiments in programming techniques for propositional logic
+Normal rank
@@ Property / cites work @@
+A Relationship Between CNF and DNF Systems Derivable from Examples
+Normal rank
@@ Property / cites work @@
+An approach to guided learning of Boolean functions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1318514