Simple view

Full metadata view

Authors

Statistics

Satisfiability in multi-valued circuits

2018
book section
conference proceedings
10.1145/3209108.3209173
Author
Idziak Paweł

Krzaczkowski Jacek
Book title / Journal title
Natural Language Learning (CoNLL)
publisher
New York : Association for Computing Machinery
Pages
550-558
ISBN
978-1-4503-5583-4
Keywords in English

circuit satisfiability

solving equations

Language
English
Book language / Journal language
English
Conference
33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Conference short name
LICS
Conference start date
2018-07-09
End date conference
2018-07-12
Conference city
Oxford
Conference country
Wielka Brytania
Conference type
international
Affiliation
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej
dc.affiliationWydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznejpl
dc.conference33rd Annual ACM/IEEE Symposium on Logic in Computer Sciencepl
dc.conference.cityOxford
dc.conference.countryWielka Brytania
dc.conference.datefinish2018-07-12
dc.conference.datestart2018-07-09
dc.conference.indexscopustrue
dc.conference.shortcutLICS
dc.contributor.authorIdziak, Paweł - 128365 pl
dc.contributor.authorKrzaczkowski, Jacek - 142023 pl
dc.date.accessioned2018-09-14T12:00:58Z
dc.date.available2018-09-14T12:00:58Z
dc.date.issued2018pl
dc.description.conftypeinternationalpl
dc.description.physical550-558pl
dc.description.publication0,7pl
dc.identifier.doi10.1145/3209108.3209173pl
dc.identifier.isbn978-1-4503-5583-4pl
dc.identifier.project2014/14/A/ST6/00138pl
dc.identifier.projectROD UJ / Opl
dc.identifier.urihttps://ruj.uj.edu.pl/xmlui/handle/item/56985
dc.languageengpl
dc.language.containerengpl
dc.pubinfoNew York : Association for Computing Machinerypl
dc.publisher.ministerialAssociation for Computing Machinery (ACM)pl
dc.rightsDodaję tylko opis bibliograficzny*
dc.rights.licencebez licencji
dc.rights.uri*
dc.subject.encircuit satisfiabilitypl
dc.subject.ensolving equationspl
dc.subtypeConferenceProceedingspl
dc.titleSatisfiability in multi-valued circuitspl
dc.title.containerNatural Language Learning (CoNLL)pl
dc.typeBookSectionpl
dspace.entity.typePublication
dc.affiliationpl
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej
dc.conferencepl
33rd Annual ACM/IEEE Symposium on Logic in Computer Science
dc.conference.city
Oxford
dc.conference.country
Wielka Brytania
dc.conference.datefinish
2018-07-12
dc.conference.datestart
2018-07-09
dc.conference.indexscopus
true
dc.conference.shortcut
LICS
dc.contributor.authorpl
Idziak, Paweł - 128365
dc.contributor.authorpl
Krzaczkowski, Jacek - 142023
dc.date.accessioned
2018-09-14T12:00:58Z
dc.date.available
2018-09-14T12:00:58Z
dc.date.issuedpl
2018
dc.description.conftypepl
international
dc.description.physicalpl
550-558
dc.description.publicationpl
0,7
dc.identifier.doipl
10.1145/3209108.3209173
dc.identifier.isbnpl
978-1-4503-5583-4
dc.identifier.projectpl
2014/14/A/ST6/00138
dc.identifier.projectpl
ROD UJ / O
dc.identifier.uri
https://ruj.uj.edu.pl/xmlui/handle/item/56985
dc.languagepl
eng
dc.language.containerpl
eng
dc.pubinfopl
New York : Association for Computing Machinery
dc.publisher.ministerialpl
Association for Computing Machinery (ACM)
dc.rights*
Dodaję tylko opis bibliograficzny
dc.rights.licence
bez licencji
dc.rights.uri*
dc.subject.enpl
circuit satisfiability
dc.subject.enpl
solving equations
dc.subtypepl
ConferenceProceedings
dc.titlepl
Satisfiability in multi-valued circuits
dc.title.containerpl
Natural Language Learning (CoNLL)
dc.typepl
BookSection
dspace.entity.type
Publication

* The migration of download and view statistics prior to the date of April 8, 2024 is in progress.

Views
0
Views per month

No access

No Thumbnail Available
Collections
Research publications
ROD UJ