Search alternatives:
swash » slash, swath, smash
sat » salt, satz
Cover Image
Read Now

301
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving -- On Matrices, Automata...”
Cover Image
Read Now

302
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Leakage -- SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata -- Testing...”
Cover Image
Read Now

303
Published 2015
Springer International Publishing
“...; timed systems; SAT solving; multi domain verification; and synthesis...”
Cover Image
Read Now

304
by Straßer, Gabi
Published 2000
Deutscher Universitätsverlag
“... Programmverantwortlichen der fünf größten Veranstalter (ARD, ZDF, SAT.1, RTL, PRO 7). Auf der Grundlage systemtheoretischer...”
Cover Image
Read Now

305
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...(2,1) systems -- Bounds for approximating MaxLinEq3-2 and MaxEkSat -- Deriving non-approximability...”
Cover Image
Read Now

306
Published 2012
Springer Fachmedien Wiesbaden
Table of Contents: “... Schaffung einer Projektkultur bei der Ergo -- Die Einführung von Projektmanagement bei Pro7Sat1 -- Die...”
Cover Image
Read Now

307
Published 2005
Springer Netherlands
Table of Contents: “... of Jury Decisions Where All Jurors Have the Same Evidence -- A Sat-Based Approach to Unbounded Model...”
Cover Image
Read Now

308
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... -- Repair with On-The-Fly Program Analysis -- Computing Interpolants without Proofs -- MaxSAT-Based MCS...”
Cover Image
Read Now

309
by Schulte zu Sundern, Friederike
Published 2020
Nomos Verlagsgesellschaft mbH & Co. KG
“... Portabilitäts-VO und der SatCab-Online-RL entsprechende Reformen. Die vorliegende Arbeit untersucht diese und...”
Cover Image
Read Now

310
by Rempe, Martin
Published 2023
Brill
“... of this reputation has been the broad mass of musicians who sat in orchestra pits, played in ensembles for dances...”
Cover Image
Read Now

311
by Aljoumani, Said
Published 2020
Ergon-Verlag
“...-century trajectory of the books that once sat on the shelves of this library. Most importantly...”
Cover Image
Read Now

312
Published 2011
Springer Berlin Heidelberg
“... covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers...”
Cover Image
Read Now

313
Published 2011
Springer Berlin Heidelberg
“... proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static...”
Cover Image
Read Now

314
by Zhou, Neng-Fa, Kjellerstrand, Håkan, Fruhman, Jonathan
Published 2015
Springer International Publishing
“... combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules...”
Cover Image
Read Now

315
by Kurzlechner, Werner
Published 2009
Redline Wirtschaft
“...-Institution: Von Daimler über Bayer, Hoechst und BASF bis zum Veto gegen den ProSieben-Sat1-Deal und den Kampf...”
Cover Image
Read Now

316
Published 2022
Springer International Publishing
Table of Contents: “... from the SatNav E@syCare experience in COVID-19 pandemic towards an extensive use of telemedicine...”
Cover Image
Read Now

317
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions...”
Cover Image
Read Now

318
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... based representations SAT solving for Non-clausal Formulas -- Quantum-behaved particle swarm...”
Cover Image
Read Now

319
Published 2016
Springer International Publishing
Table of Contents: “...Engineering a Lightweight and Efficient Local Search SAT Solver -- Route Planning in Transportation...”
Cover Image
Read Now

320
by Gopalakrishnan, Ganesh
Published 2006
Springer US
Table of Contents: “... Notions in Logic including SAT -- Complexity Theory and NP-Completeness -- DFA for Presburger Arithmetic...”