undefined

< Back to search results

Clingo goes linear constraints over reals and integers

Year of publication

2017

Authors

Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten

Organizations and authors

Aalto University

Janhunen Tomi Orcid -palvelun logo

Publication type

Publication format

Article

Parent publication type

Journal

Article type

Original article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A1 Journal article (refereed), original research

Publication channel information

Journal

Theory and Practice of Logic Programming

Conference

Proceedings : International Conference on Logic Programming

Publisher

Cambridge University Press

Volume

17

Issue

5-6

Pages

872-888

ISSN

1471-0684

​Publication forum

68388

​Publication forum level

2

Open access

Open access in the publisher’s service

No

Self-archived

No

Other information

Fields of science

Computer and information sciences

Keywords

[object Object],[object Object],[object Object],[object Object]

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

No

DOI

10.1017/S1471068417000242

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes