Sortiert nach
Journal of automated reasoning, 2020-03, Vol.64 (3), p.533-554
2020
Link zum Volltext
Journal of automated reasoning, 2017, Vol.58 (1), p.97-125
2017
Link zum Volltext
Theory and Applications of Satisfiability Testing - SAT 2011, Vol.6695, p.201-215
Link zum Volltext
Empirical software engineering : an international journal, 2013-08, Vol.18 (4), p.825-856
2013
Link zum Volltext
Journal of automated reasoning, 2012-12, Vol.49 (4), p.583-619
2012
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2016, p.228-245
Link zum Volltext
Software testing, verification & reliability, 2014-12, Vol.24 (8), p.593-607
2014
Link zum Volltext
Journal of automated reasoning, 2023-06, Vol.67 (2), p.15, Article 15
2023
Link zum Volltext
ACM transactions on computational logic, 2023-01, Vol.24 (1), p.1-25, Article 7
2023
Link zum Volltext
Journal of automated reasoning, 2023-09, Vol.67 (3), p.31, Article 31
2023
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2014, p.422-429
Link zum Volltext
International journal on software tools for technology transfer, 2023-04, Vol.25 (2), p.167-184
2023
Link zum Volltext
Logical methods in computer science, 2022-01, Vol.18, Issue 2
2022
Link zum Volltext
Mathematics in computer science, 2019-12, Vol.13 (4), p.533-548
2019
Link zum Volltext
Theoretical Aspects of Computing - ICTAC 2023, 2023, Vol.14446, p.4-14
2023
Link zum Volltext
NASA Formal Methods, 2023, p.447-463
2023
Link zum Volltext
ACM transactions on computational logic, 2023-07, Vol.24 (4), p.1-28, Article 31
2023
Link zum Volltext
ACM transactions on computational logic, 2015-07, Vol.16 (3), p.1-27
2015
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Luxembourg City, Luxembourg, 2021, Vol.12652 LNCS, p.223
2021
Link zum Volltext
2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2020, p.1-9
2020
Link zum Volltext
Theory and Applications of Satisfiability Testing - SAT 2011, Vol.6695, p.216-229
Link zum Volltext
Journal of automated reasoning, 2020-10, Vol.64 (7), p.1247-1267
2020
Link zum Volltext
Theory and Applications of Satisfiability Testing - SAT 2021, 2021, Vol.12831, p.216-224
2021
Link zum Volltext
Automated Deduction - CADE-25, p.591-606
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.3-20
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Logic
- Computer Science, Artificial Intelligence
- Mathematics
- Science & Technology - Other Topics
- Artificial Intelligence
- Mathematical Logic And Formal Languages
- Mathematics, Applied
- Physical Sciences
- Unit Clause
- Empty Clause
- Mathematical Logic And Foundations
- Satisfiability
- Solvers
- Symbolic And Algebraic Manipulation
- Conjunctive Normal Form
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink Journals
- ACM Digital Library
- RCN full-text journals@Ovid
- IEEE Electronic Library (IEL)
- EZB Electronic Journals Library
- De Gruyter eBooks
- Wiley Journals
- EBSCOhost Business Source Ultimate
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Acm Transactions On Computational Logic
- Communications Of The Acm
- Empirical Software Engineering : An International Journal
- International Journal On Software Tools For Technology Transfer
- Journal On Satisfiability, Boolean Modeling And Computation
- Logical Methods In Computer Science
- Mathematics In Computer Science
- Software Testing, Verification & Reliability
- The Electronic Journal Of Combinatorics