Work

On Computing Minimal Equivalent Subformulas

Year: 2012

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Principles and Practice of Constraint Programming: 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings

DOI: 10.1007/978-3-642-33558-7_14

Authors: Anton Belov, Mikoláš Janota, Inês Lynce, Joao Marques-Silva

Institutions: University College Dublin, Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Universidade Técnica de Lisboa

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W201993195

FWCI: 3.646

Cites: 50

Cited by: 20

Related to: 10