UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 319

Sortiert nach

Clinical study of intramedullary nailing fixation for the treatment of Danis-Weber B in lateral malleolus fracture

Journal of international medical research, 2021-10, Vol.49 (10), p.30006052110473-3000605211047371

2021

Volltextzugriff (PDF)

CT evaluation of cervical pedicle in a Chinese population for surgical application of transpedicular screw placement

Surgical and radiologic anatomy (English ed.), 2008-07, Vol.30 (5), p.389-396

2008

Volltextzugriff (PDF)

The Importance of the Deep Deltoid Ligament Repair in Treating Supination-External Rotation Stage IV Ankle Fracture: A Comparative Retrospective Cohort Study

BioMed research international, 2020, Vol.2020, p.2043015-8

2020

Volltextzugriff (PDF)

Reasoning about actions with loops via Hoare logic

Frontiers of Computer Science, 2016-10, Vol.10 (5), p.870-888

2016

Volltextzugriff (PDF)

A Generalized Framework for Conflict Analysis

Theory and Applications of Satisfiability Testing – SAT 2008, p.21-27

Volltextzugriff (PDF)

Adaptive Restart Strategies for Conflict Driven SAT Solvers

Theory and Applications of Satisfiability Testing – SAT 2008, p.28-33

Volltextzugriff (PDF)

Attacking Bivium Using SAT Solvers

Theory and Applications of Satisfiability Testing – SAT 2008, p.63-76

Volltextzugriff (PDF)

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions

Theory and Applications of Satisfiability Testing – SAT 2008, p.211-224

Volltextzugriff (PDF)

Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms

Theory and Applications of Satisfiability Testing – SAT 2008, p.225-230

Volltextzugriff (PDF)

Nenofex: Expanding NNF for QBF Solving

Theory and Applications of Satisfiability Testing – SAT 2008, p.196-210

Volltextzugriff (PDF)

Finding Guaranteed MUSes Fast

Theory and Applications of Satisfiability Testing – SAT 2008, p.291-304

Volltextzugriff (PDF)

Searching for Autarkies to Trim Unsatisfiable Clause Sets

Theory and Applications of Satisfiability Testing – SAT 2008, p.182-195

Volltextzugriff (PDF)

SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers

Theory and Applications of Satisfiability Testing – SAT 2008, p.77-90

Volltextzugriff (PDF)

Modelling Max-CSP as Partial Max-SAT

Theory and Applications of Satisfiability Testing – SAT 2008, p.1-14

Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

2008 edition., 2008

Volltextzugriff (PDF)

Designing an Efficient Hardware Implication Accelerator for SAT Solving

Theory and Applications of Satisfiability Testing – SAT 2008, p.48-62

Volltextzugriff (PDF)

Complexity and Algorithms for Well-Structured k-SAT Instances

Theory and Applications of Satisfiability Testing – SAT 2008, p.105-118

Volltextzugriff (PDF)

Online Estimation of SAT Solving Runtime

Theory and Applications of Satisfiability Testing – SAT 2008, p.133-138

Volltextzugriff (PDF)

Local Restarts

Theory and Applications of Satisfiability Testing – SAT 2008, p.271-276

Volltextzugriff (PDF)

Improvements to Hybrid Incremental SAT Algorithms

Theory and Applications of Satisfiability Testing – SAT 2008, p.168-181

Volltextzugriff (PDF)

A Max-SAT Inference-Based Pre-processing for Max-Clique

Theory and Applications of Satisfiability Testing – SAT 2008, p.139-152

Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Volltextzugriff (PDF)

Computation of Renameable Horn Backdoors

Theory and Applications of Satisfiability Testing – SAT 2008, p.154-160

Volltextzugriff (PDF)

A Preprocessor for Max-SAT Solvers

Theory and Applications of Satisfiability Testing – SAT 2008, p.15-20

Volltextzugriff (PDF)

A Decision-Making Procedure for Resolution-Based SAT-Solvers

Theory and Applications of Satisfiability Testing – SAT 2008, p.119-132

Volltextzugriff (PDF)

1 – 25 von 319

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(224)
Mit Volltextzugriff
(300)

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(188)
Technology
(144)
Computer Science
(85)
Physical Sciences
(64)
Computer Science, Theory & Methods
(48)
Engineering
(41)
Materials Science
(37)
Physics
(36)
Operating Systems
(32)
Life Sciences & Biomedicine
(30)
Algorithms & Data Structures
(29)
Engineering, Electrical & Electronic
(29)
Mathematical Theory Of Computation
(29)
Computer Science, Artificial Intelligence
(27)
Materials Science, Multidisciplinary
(27)
Chemistry
(24)
Physics, Applied
(23)
Exact Sciences And Technology
(21)
Algorithms
(19)
Chemistry, Physical
(18)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(3)
... seit 90 Tagen
(10)

Menü

Weitere Dienste

Einstellungen

Clinical study of intramedullary nailing fixation for the treatment of Danis-Weber B in lateral malleolus fracture

CT evaluation of cervical pedicle in a Chinese population for surgical application of transpedicular screw placement

The Importance of the Deep Deltoid Ligament Repair in Treating Supination-External Rotation Stage IV Ankle Fracture: A Comparative Retrospective Cohort Study

Reasoning about actions with loops via Hoare logic

A Generalized Framework for Conflict Analysis

Adaptive Restart Strategies for Conflict Driven SAT Solvers

Attacking Bivium Using SAT Solvers

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions

Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms

Nenofex: Expanding NNF for QBF Solving

Finding Guaranteed MUSes Fast

Searching for Autarkies to Trim Unsatisfiable Clause Sets

SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers

Modelling Max-CSP as Partial Max-SAT

Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Designing an Efficient Hardware Implication Accelerator for SAT Solving

Complexity and Algorithms for Well-Structured k-SAT Instances

Online Estimation of SAT Solving Runtime

Local Restarts

Improvements to Hybrid Incremental SAT Algorithms

A Max-SAT Inference-Based Pre-processing for Max-Clique

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Computation of Renameable Horn Backdoors

A Preprocessor for Max-SAT Solvers

A Decision-Making Procedure for Resolution-Based SAT-Solvers

Suchergebnisse filtern