Work

Implicit hitting set algorithms for reasoning beyond NP

Year: 2016

Type: article

Source: Principles of Knowledge Representation and Reasoning

Authors: Paul Saikko, Johannes Wallner, Matti Järvisalo

Institutions: University of Helsinki, Helsinki Institute for Information Technology

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2544773140

FWCI: 3.148

Cites: 71

Cited by: 21

Related to: 10