Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Statically Indeterminate Problem Solving

Statically Indeterminate Problem Solving

Statically indeterminate problems are those where statics alone can not determine the internal forces or reactions. Consider a structure comprising two cylindrical rods made of steel and brass. These rods are joined at point B and restrained by rigid supports at points A and C. Now, the reactions at points A and C and the deflection at point B are to be determined. This rod structure is classified as statically indeterminate as the structure has more supports than are necessary for maintaining...

Castigliano's Theorem: Problem Solving

Castigliano's Theorem: Problem Solving

The deflection of a simply supported beam that carries a central point load can be analyzed using structural mechanics principles, particularly by applying Castigliano's theorem. This theorem relates the displacement at the load application point to the partial derivatives of the strain energy in the structure. The simply supported beam with a point load at its center has symmetric reaction forces at the supports, each bearing half of the load. The bending moment at any point along the beam is...

Theorems of Pappus and Guldinus: Problem Solving

Theorems of Pappus and Guldinus: Problem Solving

Pappus and Guldinus's theorems are powerful mathematical principles that are used for finding the surface area and volume of composite shapes. For example, consider a cylindrical storage tank with a conical top. Finding the surface area or volume can be challenging for such complex shapes. These theorems are particularly useful in calculating the volume and surface area of such systems. Here, the cylindrical storage tank with a conical top can be broken down into two simple shapes: a cylinder...

Constraints and Statical Determinacy

Constraints and Statical Determinacy

In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...

Problem-Solving

Problem-Solving

Effective problem-solving consists of two steps: 1. identifying the problem and 2. selecting the appropriate problem-solving strategy (i.e., a plan of action used to find a solution). Humans use four problem-solving strategies:

Systems of Equations

Systems of Equations

A system of equations consists of multiple equations involving common variables. The objective is to identify values that simultaneously satisfy all equations. Systems of equations provide a framework for analyzing multiple constraints or relationships within a single problem context.Three primary algebraic techniques are used to solve systems: substitution, elimination, and graphical methods. The substitution method involves solving one equation for one variable and substituting the result...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by

Same author

An empirical comparison of backtracking algorithms.

IEEE transactions on pattern analysis and machine intelligence·2011

Same author

Single column discrepancy and dynamic max-mini optimizations for quickly finding the most parsimonious evolutionary trees.

Bioinformatics (Oxford, England)·2000

Same author

A review of the health effects of energy conserving materials.

American journal of public health·1983

Same author

The shape of a national health program.

American journal of public health·1972

Same author

We and our environment--where are we headed?

Transactions & studies of the College of Physicians of Philadelphia·1972

Same author

Discussion of the role of the health profession in achieving effective consumer participation.

Bulletin of the New York Academy of Medicine·1970

Search research articles

Related Experiment Video

Updated: May 29, 2026

Setting Limits on Supersymmetry Using Simplified Models

Setting Limits on Supersymmetry Using Simplified Models

Published on: November 15, 2013

Solving satisfiability with less searching.

¹Department of Computer Science, Indiana University, Bloomington, IN 47405.

IEEE Transactions on Pattern Analysis and Machine Intelligence

|August 27, 2011

Summary

A novel complement searching technique significantly reduces computational effort for satisfiability problems. This method leverages similar subtrees to avoid redundant searching, improving efficiency in solving constraint satisfaction problems.

Area of Science:

Artificial Intelligence
Computer Science
Computational Logic

Background:

Satisfiability (constraint satisfaction) problems often involve large search spaces.
Redundant computations arise from recurring similar subtrees within search trees.

Purpose of the Study:

Introduce a new technique, complement searching, to optimize search processes.
Reduce the computational complexity of solving satisfiability problems.

Main Methods:

Complement searching identifies and reuses information from previously searched subtrees.
It prunes search spaces by avoiding re-computation in structurally similar subtrees.

Main Results:

The technique significantly reduces the search effort required.

More Related Videos

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Published on: July 22, 2025

Related Experiment Videos

Last Updated: May 29, 2026

Setting Limits on Supersymmetry Using Simplified Models

Setting Limits on Supersymmetry Using Simplified Models

Published on: November 15, 2013

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Published on: July 22, 2025

It is a generalization of the pure literal rule in the Davis-Putnam procedure.

Effectively handles conjunctive normal form predicates with nearly pure literals.

Conclusions:

Complement searching offers a more efficient approach to satisfiability problems.
This method provides substantial performance gains, especially for problems with repetitive structures.