Work

Efficient Set Sharing Using ZBDDs

Year: 2008

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Languages and Compilers for Parallel Computing

DOI: 10.1007/978-3-540-89740-8_4

Authors: Mario Méndez-Lojo, Ondřej Lhoták, Manuel V. Hermenegildo

Institutions: University of New Mexico, University of Waterloo, Madrid Institute for Advanced Studies, IMDEA Software Institute, Universidad Politécnica de Madrid

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1516989424

FWCI: 0.178

Cites: 29

Cited by: 4

Related to: 10