Sortiert nach
Formal methods in system design, 2021-08, Vol.57 (2), p.157-177
2021
Link zum Volltext
ACM transactions on computational logic, 2014, Vol.15 (3), p.1-20
2014
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2013, Vol.7962, p.100-115
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2014, p.422-429
Link zum Volltext
Principles and Practice of Constraint Programming, p.276-294
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2014, p.438-445
Link zum Volltext
Automated Deduction - CADE 26, 2017, Vol.10395, p.371-384
2017
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2016, p.419-434
Link zum Volltext
Annals of mathematics and artificial intelligence, 2017-05, Vol.80 (1), p.21-45
2017
Link zum Volltext
Argument & computation, 2010-06, Vol.1 (2), p.147-177
2010
Link zum Volltext
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.203-210
2019
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2014, p.430-437
Link zum Volltext
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, 2014, p.1-6
2014
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2012, Vol.7317, p.100-113
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, p.291-308
Link zum Volltext
Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.191-198
2015
Link zum Volltext
Artificial Intelligence and Symbolic Computation, p.120-131
Link zum Volltext
Constraints : an international journal, 2009-03, Vol.14 (1), p.38-79
2009
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2016, p.435-452
Link zum Volltext
Principles and Practice of Constraint Programming, p.514-530
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.418-433
2015
Link zum Volltext
Mathematical Software – ICMS 2014, p.307-314
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, 2002, p.160-175
2002
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Science & Technology
- Technology
- Artificial Intelligence
- Theoretical Computing
- Logical, Boolean And Switching Functions
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Mathematics
- Mathematical Theory Of Computation
- Sequent Calculus
- Boolean Formula
- Computer Science, Software Engineering
- Conjunctive Normal Form
- Logic
- Physical Sciences
- Quantified Boolean Formulas
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- RCN full-text journals@Ovid
- Access via ScienceDirect (Elsevier)
- ACM Digital Library Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- De Gruyter journals
- JSTOR Complete Journals
- Reference Global
- IEEE/IET Electronic Library (IEL)
- Taylor & Francis:Master (3349 titles)
- ScienceDirect eBooks
- IngentaConnect Journals
- Taylor & Francis Journals Auto-Holdings Collection
Zeitschrift / Serie
- Acm Transactions On Computational Logic
- Annals Of Mathematics And Artificial Intelligence
- Constraints : An International Journal
- Information And Computation
- Journal Of Applied Geodesy
- Studia Logica
- Advances In Engineering Software
- Argument & Computation
- Electronic Notes In Theoretical Computer Science
- Formal Methods In System Design