Work

On Dedicated CDCL Strategies for PB Solvers

Year: 2021

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-80223-3_22

Authors: Daniel Le Berre, Romain Wallon

Institutions: Centre National de la Recherche Scientifique, Centre de Recherche en Informatique de Lens, École Polytechnique, Laboratoire d'Informatique de l'École Polytechnique

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Conseil Régional Hauts-de-France

OpenAlex ID: W4297853142

FWCI: 0.231

Cites: 29

Cited by: 1

Related to: 10