Sortiert nach
European journal of operational research, 2024-08, Vol.316 (3), p.815-827
2024
Volltextzugriff (PDF)
IEEE transactions on computer-aided design of integrated circuits and systems, 2018-01, Vol.37 (1), p.193-202
2018
Volltextzugriff (PDF)
Theoretical computer science, 2019-12, Vol.800, p.3-14
2019
Volltextzugriff (PDF)
Applied intelligence (Dordrecht, Netherlands), 2022-07, Vol.52 (9), p.10650-10673
2022
Volltextzugriff (PDF)
Empirical software engineering : an international journal, 2020-01, Vol.25 (1), p.591-626
2020
Volltextzugriff (PDF)
IEEE access, 2019, Vol.7, p.177309-177331
2019
Volltextzugriff (PDF)
IEEE transactions on very large scale integration (VLSI) systems, 2018-01, Vol.26 (1), p.155-167
2018
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2016-08, Vol.42 (8), p.741-763
2016
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-02, Vol.64 (2), p.295-330
2020
Volltextzugriff (PDF)
INFORMS journal on applied analytics, 2019-01, Vol.49 (1), p.7-22
2019
Volltextzugriff (PDF)
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019, p.147-156
2019
Volltextzugriff (PDF)
Computer Information Systems and Industrial Management, p.56-67
Volltextzugriff (PDF)
ACM transactions on software engineering and methodology, 2018-02, Vol.26 (4), p.1-46
2018
Volltextzugriff (PDF)
Journal of applied non-classical logics, 2006-01, Vol.16 (1-2), p.35-86
2006
Volltextzugriff (PDF)
2nd ed. 2016., 2016
Volltextzugriff (PDF)
17th IFAC Workshop on Discrete Event Systems, WODES 2024, Rio de Janeiro, Brazil, 2024, Vol.58 (1), p.90-95
2024
Volltextzugriff (PDF)
IET cyber-physical systems, 2016-12, Vol.1 (1), p.49-59
2016
Volltextzugriff (PDF)
IEEE transactions on computer-aided design of integrated circuits and systems, 2018-04, Vol.37 (4), p.832-844
2018
Volltextzugriff (PDF)
Microelectronics, 2023-12, Vol.142, p.106005, Article 106005
2023
Volltextzugriff (PDF)
IEEE transactions on electron devices, 2018-04, Vol.65 (4), p.1617-1624
2018
Volltextzugriff (PDF)
Critical Systems: Formal Methods and Automated Verification, p.65-80
Volltextzugriff (PDF)
Journal of automated reasoning, 2010-03, Vol.44 (3), p.277-301
2010
Volltextzugriff (PDF)
Formal Aspects of Component Software, 2017, Vol.10487, p.216-232
2017
Volltextzugriff (PDF)
2013 IEEE International Conference on Acoustics, Speech and Signal Processing, 2013, p.2586-2590
2013
Volltextzugriff (PDF)
AKCE international journal of graphs and combinatorics, 2012, Vol.9 (2), p.169-186
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Solvers
- Algorithms
- Computer Science, Artificial Intelligence
- Engineering
- Computer Science, Theory & Methods
- Artificial Intelligence
- Engineering, Electrical & Electronic
- Satisfiability
- Computer Science, Software Engineering
- Satisfiability Modulo Theories
- Boolean Algebra
- Computer Science, Hardware & Architecture
- Boolean Satisfiability
- Optimization
- Mathematics
- Software
- Mathematical Models
Kollektion
- Ingenta
- IEEE Xplore
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Free E-Journal (出版社公開部分のみ）
- Journals@Ovid Ovid Full Text
- Ebook Central Perpetual and DDA
- ACM Digital Library (Association for Computing Machinery)
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- SpringerLink Series
- Wiley-Blackwell Journals
- IngentaConnect Journals
- BSC - Ebsco (Business Source Ultimate)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Full Collection 2018
- Cambridge Journals Online (DEFF)
- Taylor & Francis Journals Complete
- Taylor & Francis Journals
- Taylor & Francis
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Annals Of Mathematics And Artificial Intelligence
- Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems
- Artificial Intelligence
- Formal Methods In System Design
- Theory And Practice Of Logic Programming
- Ieee Access
- Applied Intelligence
- Ieee Transactions On Very Large Scale Integration
- International Journal On Software Tools For Technology Transfer
Neu hinzugefügt