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...Journal of automated reasoning, 2008-01, Vol.40 (1), p.1-33
2008
Volltextzugriff (PDF)
Constraints : an international journal, 2013-10, Vol.18 (4), p.478-534
2013
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.173-186
2005
Volltextzugriff (PDF)
Constraints : an international journal, 2016-04, Vol.21 (2), p.223-250
2016
Volltextzugriff (PDF)
Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation; 07-11 June 2004, 2004, p.530-534
2004
Volltextzugriff (PDF)
2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014, p.169-178
2014
Volltextzugriff (PDF)
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013, p.160-175
2013
Volltextzugriff (PDF)
2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), 2017, p.131-138
2017
Volltextzugriff (PDF)
Principles and Practice of Constraint Programming, 2015, Vol.9255, p.173-182
2015
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, 2013, Vol.7857, p.86-101
2013
Volltextzugriff (PDF)
Constraints : an international journal, 2009-12, Vol.14 (4), p.415-442
2009
Volltextzugriff (PDF)
Proceedings of the 26th Australasian Computing Education Conference, 2024, p.49-57
2024
Volltextzugriff (PDF)
Proceedings of the 23rd Koli Calling International Conference on Computing Education Research, 2023, p.1-11
2023
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing - SAT 2008, 2008, Vol.4996, p.182-195
2008
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing - SAT 2009, 2009, Vol.5584, p.481-494
2009
Volltextzugriff (PDF)
2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI), 2016, p.464-471
2016
Volltextzugriff (PDF)
Proceedings of the 2006 Asia and South Pacific Design Automation Conference, 2006, p.19-24
2006
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2008, p.343-352
2008
Volltextzugriff (PDF)
Formal Methods in Computer Aided Design (FMCAD'07), 2007, p.13-19
2007
Volltextzugriff (PDF)
Asia and South Pacific Conference on Design Automation, 2006, 2006, p.6 pp.
2006
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Artificial Intelligence
- Computer Science, Artificial Intelligence
- Engineering
- Engineering, Electrical & Electronic
- Applied Sciences
- Computer Science, Hardware & Architecture
- Exact Sciences And Technology
- Operations Research/decision Theory
- Optimization
- Algorithms & Data Structures
- Boolean Functions
- Boolean Satisfiability
- Computer Science, Software Engineering
- Computer Science; Control Theory; Systems
- Conjunctive Normal Form
- Guardrails
Kollektion
- Ingenta.com
- IEEE Electronic Library Online
- SpringerLink Series
- Ebook Central Perpetual and DDA
- ACM Digital Library
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Springer journals
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie