System description: similarity-based lemma generation for model elimination

1998 ◽  
pp. 33-37 ◽  
Author(s):  
Marc Fuchs
Keyword(s):  
Model Elimination ◽  
System Description ◽  
Lemma Generation

Basis System Description of Information in Psychology

2002 ◽  
Author(s):  
Konstantin Malyshev ◽  
Yakov Lebedev
Keyword(s):  
System Description ◽  
Basis System

Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT

2020 ◽  
Vol 12 (1) ◽  
pp. 17-22
Author(s):  
Alexander Nadel
Keyword(s):  
Variable Selection ◽  
Open Source ◽  
System Description

This paper is a system description of the anytime MaxSAT solver TT-Open-WBO-Inc, which won both of the weighted incomplete tracks of MaxSAT Evaluation 2019. We implemented the recently introduced polarity and variable selection heuristics, TORC and TSB, respectively, in the Open-WBO-Inc-BMO algorithm within the open-source anytime MaxSAT solver Open-WBO-Inc. As a result, the solver is substantially more efficient.

THU-EE System Description for NIST LRE 2015

2016 ◽  
Author(s):  
Liang He ◽  
Yao Tian ◽  
Yi Liu ◽  
Jiaming Xu ◽  
Weiwei Liu ◽  
...  
Keyword(s):  
System Description

Ensuring the implementation of the modernized structure and automation of air traffic control processes in the area of responsibility of the Moscow district of air traffic control

2018 ◽  
pp. 46-54
Author(s):  
A. V. Strukova
Keyword(s):  
Traffic Control ◽  
Traffic Management ◽  
Air Traffic Control ◽  
Management System ◽  
Air Traffic Management ◽  
Air Traffic ◽  
Security System ◽  
System Description ◽  
Functional Capabilities ◽  
Traffic Management System

The article considers the new automated air traffic management system «Synthesis AR4», as well as a system description for ensuring the implementation of a modernized airspace structure, navigation and surveillance that provides technical capabilities. A number of functional capabilities and advantages of the airspace security system are presented.

A system description of counter insurgency warfare

1985 ◽  
Vol 18 (1) ◽  
pp. 55-78 ◽  
Author(s):  
R. G. Coyle
Keyword(s):  
System Description
Sign in / Sign up

Export Citation Format

Share Document