Simple view
Full metadata view
Authors
Statistics
Intermediate problems in modular circuits satisfiability
Author
Idziak Paweł
Kawałek Piotr
Krzaczkowski Jacek
publisher
New York : Association for Computing Machinery
Book title / Journal title
LICS '20 : proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Pages
578-590
ISBN
978-1-4503-7104-9
Language
English
Book language / Journal language
English
Conference
35th Annual ACM/IEEE Symposium on Logic in Computer Science
Conference short name
LICS
Conference start date
2020-07-08
End date conference
2020-07-11
Conference city
Saarbrücken
Conference country
Niemcy
Conference type
international
Affiliation
Wydział Matematyki i InformatykiWydział Matematyki i Informatyki : Instytut Informatyki Analitycznej
dc.affiliation | Wydział Matematyki i Informatyki | pl |
dc.affiliation | Wydział Matematyki i Informatyki : Instytut Informatyki Analitycznej | pl |
dc.conference | 35th Annual ACM/IEEE Symposium on Logic in Computer Science | pl |
dc.conference.city | Saarbrücken | |
dc.conference.country | Niemcy | |
dc.conference.datefinish | 2020-07-11 | |
dc.conference.datestart | 2020-07-08 | |
dc.conference.shortcut | LICS | |
dc.contributor.author | Idziak, Paweł - 128365 | pl |
dc.contributor.author | Kawałek, Piotr - 216060 | pl |
dc.contributor.author | Krzaczkowski, Jacek | pl |
dc.date.accessioned | 2020-07-29T09:22:46Z | |
dc.date.available | 2020-07-29T09:22:46Z | |
dc.date.issued | 2020 | pl |
dc.description.conftype | international | pl |
dc.description.physical | 578-590 | pl |
dc.description.publication | 0,6 | pl |
dc.identifier.doi | 10.1145/3373718.3394780 | pl |
dc.identifier.isbn | 978-1-4503-7104-9 | pl |
dc.identifier.project | 2014/14/A/ST6/00138 | pl |
dc.identifier.project | ROD UJ / O | pl |
dc.identifier.uri | https://ruj.uj.edu.pl/xmlui/handle/item/243028 | |
dc.language | eng | pl |
dc.language.container | eng | pl |
dc.pubinfo | New York : Association for Computing Machinery | pl |
dc.publisher.ministerial | Association for Computing Machinery (ACM) | pl |
dc.rights | Dodaję tylko opis bibliograficzny | * |
dc.rights.licence | bez licencji | |
dc.rights.uri | * | |
dc.subtype | ConferenceProceedings | pl |
dc.title | Intermediate problems in modular circuits satisfiability | pl |
dc.title.container | LICS '20 : proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | pl |
dc.type | BookSection | pl |
dspace.entity.type | Publication |
Affiliations
Wydział Matematyki i Informatyki
Idziak, Paweł
Kawałek, Piotr
No affiliation
Krzaczkowski, Jacek