Work

Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach.

Year: 2018

Type: conference-paper

Source: International Conference on Learning Representations

Authors: Saeed Amizadeh, Sergiy Matusevych, Markus Weimer

Institutions: Microsoft (United States), Association for Computing Machinery

Language: English

Topic: Neural Networks and Applications

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2912450141

FWCI: 2.44

Cites: 6

Cited by: 47

Related to: 20