Work

Proceedings of SAT Competition 2016: Solver and Benchmark Descriptions

Year: 2016

Type: article

Abstract: Peer reviewed

Source: Työväentutkimus Vuosikirja

Authors: Tomáš Balyo, Nils Froleyks, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda

Institutions: Karlsruhe Institute of Technology, Johannes Kepler University of Linz, Helsinki Institute for Information Technology, Carnegie Mellon 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: W2760767853

FWCI: 4.403

Cites:

Cited by: 33

Related to: 10