Serie
lecture notes in computer science
(25)theoretical computer science and general issues
(15)lecture notes in artificial intelligence
(4)programming and software engineering
(4)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
seipel, dietmar
(2)abdulla, parosh aziz
(1)abreu, salvador
(1)bartenstein, oskar
(1)beckert, bernhard
(1)beyersdorff, olaf
(1)biere, armin
(1)cimatti, alessandro
(1)clarke, edmund m.
(1)creignou, nadia
(1)eder, kerstin
(1)egly, uwe
(1)geske, ulrich
(1)giunchiglia, enrico
(1)gomes, carla p.
(1)gopinath, divya
(1)hooker, john
(1)hoos, holger h.
(1)janota, mikolás
(1)jarvisalo, matti
(1)kornai, andras
(1)kowalewski, stefan
(1)le berre, daniel
(1)leino, k.rustan m.
(1)loureno, joão
(1)lynce, inês
(1)manea, florin
(1)marché, claude
(1)miller, russell g.
(1)mitchell, david g.
(1)mordechai ben-ari
(1)nicosia, giuseppe
(1)nowotka, dirk
(1)pardalos, panos m.
(1)philippou, anna
(1)pulina, luca
(1)sakallah, karem a.
(1)sakarovitch, jacques
(1)sebastiani, roberto
(1)seidl, martina
(1)shehory, onn
(1)simon, laurent
(1)sinz, carsten
(1)stuckey, peter j.
(1)tacchella, armando
(1)takata, osamu
(1)umeda, masanobu
(1)van gelder, allen
(1)voronkov, andrei
(1)watson, bruce
(1)wintersteiger, christoph m.
(1)wolf, armin
(1)yli-jyrä, anssi
(1)Verlag / Hersteller
springer berlin heidelberg
(17)springer international publishing
(7)Schlagwort
informatik
(26)
sat solvers
(26)edv
(24)satsolvers
(14)intelligenz
(11)ki
(11)künstliche intelligenz
(11)künstliche intelligenz - ai
(11)mathematik
(11)software engineering
(9)theorie
(8)algorithmus
(7)software-entw.
(7)artificial intelligence
(6)informatik, computer
(6)logics and meanings of programs
(6)programmiersprachen
(6)roboter - robotik - industrieroboter
(6)algorithm analysis and problem complexity
(5)algorithms
(5)satisfiability
(5)theoretische informatik
(5)allgemeines
(4)anwendungen
(4)compiler
(4)computation by abstract devices
(4)computerprogrammierung und softwareentwicklung
(4)datenverarbeitung
(4)formal logic
(4)formal verification
(4)heuristics
(4)local search
(4)model checking
(4)problem solving
(4)qbf
(4)übersetzer (edv)
(4)abstraction
(3)algorithmanalysisandproblemcomplexity
(3)automated reasoning
(3)calculus
(3)complexity
(3)computational complexity
(3)computationalcomplexity
(3)computer programming
(3)constraint programming
(3)data mining
(3)description logics
(3)formal methods
(3)graph theory
(3)modelchecking
(3)probability
(3)programming techniques
(3)resolution
(3)softwareengineering
(3)static analysis
(3)theory of computation
(3)abstract interpretation
(2)ai logics
(2)analysis of algorithms
(2)analysisofalgorithms
(2)aufrüsten, reparieren, selbstbau
(2)automata theory
(2)betrieb, verwaltung
(2)betriebssystem (edv)
(2)boolean functions
(2)booleanfunctions
(2)competition
(2)complexity theory
(2)computer
(2)computerprogramming
(2)constraint theory
(2)constraintprogramming
(2)constraints
(2)decision theory
(2)decisiontheory
(2)erfüllbarkeitsproblem der aussagenlogik
(2)erfüllbarkeitsproblemderaussagenlogik
(2)first-order logic
(2)formallogic
(2)formalmethods
(2)informationandcommunication,circuits
(2)localsearch
(2)logic
(2)logic programming
(2)logik
(2)mathematical logic and formal languages
(2)mathematical logic and foundations
(2)model generation
(2)operating system
(2)pc-hardware
(2)probabilistic algorithms
(2)programming languages
(2)programming languages, compilers, interpreters
(2)proof complexity
(2)proofcomplexity
(2)propositional logic
(2)propositionallogic
(2)sat
(2)sat algorithms
(2)satalgorithms
(2)Erscheinungsjahr
2004
(1)2005
(1)2006
(2)2008
(1)2009
(1)2010
(1)2011
(5)2012
(3)2013
(3)2014
(1)2016
(1)2018
(3)2019
(1)2020
(1)2024
(1)Ergebnis: 26 Artikel
Schlagwort: sat solvers
