Work

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)

Year: 2020

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-51054-1_29

Authors: Jan Jakubův, Karel Chvalovský, Miroslav Olšák, Bartosz Piotrowski, Martin Suda, Josef Urban

Institutions: Czech Technical University in Prague, Universität Innsbruck, University of Warsaw

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Grantová Agentura České Republiky, European Regional Development Fund

Awards: G12500569, G176604203, G291036901, G3490171961, G4131035492, G4280972364, G5916014575

OpenAlex ID: W3005700565

FWCI: 2.482

Cites: 30

Cited by: 37

Related to: 10