Work

Memory Mangement in the PoSSo Solver

Year: 1996

Type: article

Source: Journal of Symbolic Computation

DOI: 10.1006/jsco.1996.0013

Authors: GIUSEPPE ATTARDI, TITO FLAGELLA

Institution: University of Pisa

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2023029835

FWCI: 1.384

Cites: 4

Cited by: 5

Related to: 10