Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Theory and Applications of Satisfiability Testing – SAT 2016, p.228-245
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-03, Vol.64 (3), p.533-554
2020
Volltextzugriff (PDF)
Journal of automated reasoning, 2023-06, Vol.67 (2), p.15, Article 15
2023
Volltextzugriff (PDF)
Journal of automated reasoning, 2017, Vol.58 (1), p.97-125
2017
Volltextzugriff (PDF)
ACM transactions on computational logic, 2023-07, Vol.24 (4), p.1-28, Article 31
2023
Volltextzugriff (PDF)
Empirical software engineering : an international journal, 2013-08, Vol.18 (4), p.825-856
2013
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2023-04, Vol.25 (2), p.167-184
2023
Volltextzugriff (PDF)
Graphs and combinatorics, 2022-10, Vol.38 (5), Article 156
2022
Volltextzugriff (PDF)
ACM transactions on computational logic, 2023-01, Vol.24 (1), p.1-25, Article 7
2023
Volltextzugriff (PDF)
Journal of automated reasoning, 2023-09, Vol.67 (3), p.31, Article 31
2023
Volltextzugriff (PDF)
Journal of automated reasoning, 2012-12, Vol.49 (4), p.583-619
2012
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing – SAT 2014, p.422-429
Volltextzugriff (PDF)
Logical methods in computer science, 2022-01, Vol.18, Issue 2
2022
Volltextzugriff (PDF)
Mathematics in computer science, 2019-12, Vol.13 (4), p.533-548
2019
Volltextzugriff (PDF)
ACM transactions on computational logic, 2015-07, Vol.16 (3), p.1-27
2015
Volltextzugriff (PDF)
Principles and Practice of Constraint Programming, p.251-267
Volltextzugriff (PDF)
Software testing, verification & reliability, 2014-12, Vol.24 (8), p.593-607
2014
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Luxembourg City, Luxembourg, 2021, Vol.12652 LNCS, p.223
2021
Volltextzugriff (PDF)
2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2020, p.1-9
2020
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-10, Vol.64 (7), p.1247-1267
2020
Volltextzugriff (PDF)
Theoretical Aspects of Computing - ICTAC 2023, 2023, Vol.14446, p.4-14
2023
Volltextzugriff (PDF)
Grammatical Inference: Theoretical Results and Applications, p.66-79
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.3-20
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Artificial Intelligence
- Mathematical Theory Of Computation
- Robotics
- Conjunctive Normal Form
- Mathematics
- Computer Science, Software Engineering
- Logic
- Physical Sciences
- Science & Technology - Other Topics
- Conjunctive Normal Form Formula
- Mathematics, Applied
- Solvers
- Unit Clause
- Empty Clause
- Mathematical Logic And Formal Languages
Kollektion
- IngentaConnect
- HEAL-Link subscriptions: Springer Book Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- IEEE Xplore
- Springer Online Journals
- Journals@Ovid Full Text
- Elsevier ScienceDirect Journals Complete
- De Gruyter eBooks
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- Wiley Online Library
- Access via Business Source (EBSCOhost)
- IngentaConnect Journals
- JSTOR
- Wiley Online Library
- International Press Journals
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Journal On Satisfiability, Boolean Modeling And Computation
- Acm Transactions On Computational Logic
- Proceedings Of The ... Aaai Conference On Artificial Intelligence
- Theory And Practice Of Logic Programming
- Proceedings Of The Aaai Conference On Artificial Intelligence
- Acm Communications In Computer Algebra
- Artificial Intelligence
- Communications Of The Acm
- Empirical Software Engineering
Neu hinzugefügt