Sortiert nach
IEEE transactions on software engineering, 2017-01, Vol.43 (1), p.34-55
2017
- Link zum Volltext
The AI magazine, 2012-03, Vol.33 (1), p.89-94
2012
Link zum Volltext
Automated software engineering, 2022-05, Vol.29 (1), p.25-52, Article 25
2022
Link zum Volltext
Open research Europe, 2023, Vol.3, p.185-185
2023
Link zum Volltext
Logics in Artificial Intelligence, p.684-693
Link zum Volltext
Software testing, verification & reliability, 2015-03, Vol.25 (2), p.138-163
2015
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2016, p.123-140
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2016, p.228-245
Link zum Volltext
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, 2014, p.30-39
2014
Link zum Volltext
Electronic proceedings in theoretical computer science, 2010-07, Vol.29 (Proc. LoCoCo 2010), p.11-22
2010
Link zum Volltext
Journal of chemical information and modeling, 2024-07
2024
Link zum Volltext
Académie des sciences, 2022
2022
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2016, p.87-103
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2016, p.453-469
Link zum Volltext
Lecture notes in computer science, 2005, p.321-344
2005
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2016, p.539-546
Link zum Volltext
Electronic notes in discrete mathematics, 2001-06, Vol.9, p.59-80
2001
Link zum Volltext
Theory and Applications of Satisfiability Testing - SAT 2021, 2021, Vol.12831, p.315-331
2021
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2016, p.393-401
Link zum Volltext
Chemical Data Collections, 2023-06, Vol.45, p.101022, Article 101022
2023
Link zum Volltext
2022
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9710, p.323-341
2016
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2016, p.402-418
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Science & Technology - Other Topics
- Logic
- Artificial Intelligence
- Physical Sciences
- Life Sciences & Biomedicine
- Computer Science, Artificial Intelligence
- Engineering Sciences
- Exact Sciences And Technology
- Life Sciences
- Chemistry
- Computer Science, Software Engineering
- Conjunctive Normal Form
- Mathematics
- Unit Clause
- Applied Sciences
- Computer Science; Control Theory; Systems
Kollektion
- Ingenta
- SpringerLink Series
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- Elsevier ScienceDirect Journals Complete
- Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- eBooks on EBSCOhost
- Journals@Ovid Ovid Full Text
- Single Journals
- Wiley Online Library
- MEDLINE
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- Wiley Online Library
- IngentaConnect Journals
- IEEE Electronic Library (IEL)
- EBSCOhost Business Source Ultimate
- Taylor & Francis Journals Auto-Holdings Collection
- Oxford journals
Zeitschrift / Serie
- Journal On Satisfiability, Boolean Modeling And Computation
- Annals Of Mathematics And Artificial Intelligence
- Documents Pour L’histoire Du Français Langue Étrangère Ou Seconde
- Artificial Intelligence
- European Journal Of Inorganic Chemistry
- Houille Blanche
- Organometallics
- Sensors And Actuators. A. Physical.
- Applied Physics Letters
- Automated Software Engineering
Neu hinzugefügt