Work

Propositional Calculus Problems in CHIP.

Year: 1991

Type: article

Authors: Helmut Simonis, Mehmet Dincbas

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2175447980

FWCI: 1.122

Cites:

Cited by: 6

Related to: 10