Work

Satisfiability and integer programming as complementary tools

Year: 2005

Type: conference-paper

Source: Asia and South Pacific Design Automation Conference (ASP-DAC)

DOI: 10.1109/aspdac.2004.1337719

Authors: Ruirning Li, Dian Zhou, Donglei Du

Institutions: The University of Texas at Dallas, University of New Brunswick

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4243317326

FWCI:

Cites: 5

Cited by: 6

Related to: 10