Work

An analysis of consecutively bounded depth-first search with applications in automated deduction

Year: 1985

Type: conference-paper

Source: International Joint Conference on Artificial Intelligence

Authors: Mark E. Stickel, W. Mabry Tyson

Institution: SRI International

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W177650123

FWCI: 3.751

Cites: 6

Cited by: 58

Related to: 10