Work

Effective Problem Solving Using SAT Solvers

Year: 2020

Type: conference-paper

Source: Communications in computer and information science

DOI: 10.1007/978-3-030-41258-6_15

Authors: Curtis Bright, Jürgen Gerhard, Ilias Kotsireas, Vijay Ganesh

Institution: University of Waterloo

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W3013301076

FWCI: 1.313

Cites: 14

Cited by: 13

Related to: