scholarly journals An example of the satisfiability problem in the continuous structure

2017 ◽  
Author(s):  
Marek Balcer
Keyword(s):  
Satisfiability Problem ◽  
Continuous Structure

Ages of carbonatites and other alkaline rocks in Quebec

1968 ◽  
Vol 5 (6) ◽  
pp. 1401-1407 ◽  
Author(s):  
Ronald Doig ◽  
Jackson M. Barton Jr.
Keyword(s):  
Northern Boundary ◽  
Alkaline Rocks ◽  
Continuous Structure ◽  
Boundary Fault ◽  
Igneous Activity ◽  
Lowland Area

Potassium-argon ages have been determined for alkaline rocks, including carbonatites, from some fifteen localities in Quebec. Nine centers of intrusion, including two previously documented localities, yield ages in the range 400 to 600 million years. All but two of these are located on or very near the northern boundary fault of the St. Lawrence graben system. Included in this group are four carbonatites with remarkably similar ages of intrusion (565 m.y.). The existence of this widespread coeval igneous activity along a 1200-mile segment of the lowland area and its westward extension supports the hypothesis that the St. Lawrence graben is a continuous structure, and indicates that the system has been active for at least 600 million years.

scholarly journals Simplest randomK-satisfiability problem

2001 ◽  
Vol 63 (2) ◽  
Author(s):  
Federico Ricci-Tersenghi ◽  
Martin Weigt ◽  
Riccardo Zecchina
Keyword(s):  
Satisfiability Problem

Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

2020 ◽  
Vol 176 (3-4) ◽  
pp. 271-297
Author(s):  
Mario Alviano ◽  
Carmine Dodaro
Keyword(s):  
State Of The Art ◽  
Answer Set Programming ◽  
Efficient Algorithms ◽  
Satisfiability Problem ◽  
Core Analysis ◽  
Stable Model ◽  
Maximum Satisfiability ◽  
Model Search ◽  
Unsatisfiable Core ◽  
Stable Models

Many efficient algorithms for the computation of optimum stable models in the context of Answer Set Programming (ASP) are based on unsatisfiable core analysis. Among them, algorithm OLL was the first introduced in the context of ASP, whereas algorithms ONE and PMRES were first introduced for solving the Maximum Satisfiability problem (MaxSAT) and later on adapted to ASP. In this paper, we present the porting to ASP of another state-of-the-art algorithm introduced for MaxSAT, namely K, which generalizes ONE and PMRES. Moreover, we present a new algorithm called OLL-IN-ONE that compactly encodes all aggregates of OLL by taking advantage of shared aggregate sets propagators. The performance of the algorithms have been empirically compared on instances taken from the latest ASP Competition.

The Characteristics of Multilayer Thin Films Deposited with Metal Thin Films (Ag, Al, Cu)

2010 ◽  
Vol 97-101 ◽  
pp. 1768-1771 ◽  
Author(s):  
Dong Hun Kim ◽  
Riichi Murakami ◽  
Yun Hae Kim ◽  
Kyung Man Moon ◽  
Seung Jung An ◽  
...  
Keyword(s):  
Thin Films ◽  
Metal Particles ◽  
Zno Thin Films ◽  
Multilayer Thin Films ◽  
Electrical And Optical Properties ◽  
Metal Thin Films ◽  
Continuous Structure ◽  
Glass Substrates ◽  
The Difference ◽  
Sputtering System

In order to study the characteristics of multilayer thin films with a ZnO/ metal/ ZnO structure the manufacture of the thin films was performed by a dc (direct current) magnetron sputtering system on slide glass substrates. The ZnO thin films were manufactured with the thicknesses of 30 nm and 50 nm. Three kinds of metals (Ag, Al and Cu) were deposited with the thicknesses of 4 nm, 8 nm, 12 nm and 16 nm. The electrical and optical properties of the manufactured thin films were then observed. As a result, the multilayer thin films with an Ag layer represented the most excellent electrical conductivity. This is due to the difference in the fundamental electrical properties of each of the metals. The structures of the metal particles deposited on the ZnO thin films were observed by an SEM (scanning electron microscope). The thin films exhibited a continuous structure with regular spaces between the metal particles. This resulted in an increase of transmittance. This is considered by the decrease of scattering and of light absorption on thin films with a continuous structure.

Algorithms for the maximum satisfiability problem

Computing ◽  
1990 ◽  
Vol 44 (4) ◽  
pp. 279-303 ◽  
Author(s):  
Pierre Hansen ◽  
Brigitte Jaumard
Keyword(s):  
Satisfiability Problem ◽  
Maximum Satisfiability

Electrospinning of nanofibrous scaffolds with continuous structure and material gradients

2014 ◽  
Vol 137 ◽  
pp. 393-397 ◽  
Author(s):  
Jiankang He ◽  
Ting Qin ◽  
Yaxiong Liu ◽  
Xiang Li ◽  
Dichen Li ◽  
...  
Keyword(s):  
Continuous Structure ◽  
Nanofibrous Scaffolds

scholarly journals GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem

2006 ◽  
Vol 14 (2) ◽  
pp. 223-253 ◽  
Author(s):  
Frédéric Lardeux ◽  
Frédéric Saubion ◽  
Jin-Kao Hao
Keyword(s):  
Tabu Search ◽  
Local Search ◽  
Hybrid Algorithm ◽  
State Of The Art ◽  
Search Algorithm ◽  
Satisfiability Problem ◽  
Local Search Algorithm ◽  
Overall Performance ◽  
Genetic Local Search ◽  
Search Stage

This paper presents GASAT, a hybrid algorithm for the satisfiability problem (SAT). The main feature of GASAT is that it includes a recombination stage based on a specific crossover and a tabu search stage. We have conducted experiments to evaluate the different components of GASAT and to compare its overall performance with state-of-the-art SAT algorithms. These experiments show that GASAT provides very competitive results.

Insight into the formation of a continuous sheath structure for the PS phase in tri-continuous PVDF/PS/HDPE blends

RSC Advances ◽  
2016 ◽  
Vol 6 (1) ◽  
pp. 439-447 ◽  
Author(s):  
Rui Dou ◽  
Shuanglin Li ◽  
Yan Shao ◽  
Bo Yin ◽  
Mingbo Yang
Keyword(s):  
Ternary Blends ◽  
Continuous Structure ◽  
High Level ◽  
Very High ◽  
Insight Into ◽  
Sheath Structure

A hierarchical tri-continuous structure is formed and controlled in PVDF/PS/HDPE ternary blends. A very high level of PS continuity, about 80%, is achieved only with a PS volume composition as low as 11 vol%.

Sign in / Sign up

Export Citation Format

Share Document