Pages that link to "Item:Q687090"
From MaRDI portal
The following pages link to A continuous approach to inductive inference (Q687090):
Displayed 10 items.
- Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach (Q1330807) (← links)
- On the complexity of approximating a KKT point of quadratic programming (Q1380927) (← links)
- Trust region affine scaling algorithms for linearly constrained convex and concave programs (Q1380941) (← links)
- UnitWalk: A new SAT solver that uses local search guided by unit clause elimination (Q1777395) (← links)
- A complete adaptive algorithm for propositional satisfiability (Q1811072) (← links)
- Branching rules for satisfiability (Q1904401) (← links)
- An approach to guided learning of Boolean functions (Q1910784) (← links)
- On the minimum number of logical clauses inferred from examples (Q1919787) (← links)
- A continuous approch for globally solving linearly constrained quadratic (Q2767579) (← links)
- An artificial neural network satisfiability tester (Q4329689) (← links)