Work

Solving MaxSAT by Successive Calls to a SAT Solver

Year: 2017

Type: conference-paper

Source: Lecture notes in networks and systems

DOI: 10.1007/978-3-319-56994-9_31

Author: Mohamed El Halaby

Institution: Cairo University

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2301405299

FWCI: 0.657

Cites: 55

Cited by: 3

Related to: 10