Combs: open source python library for RVE generation. Application to microscale diffusion simulations in cementitious materials

2014 ◽  
Author(s):  
C. Bourcier ◽  
W. Dridi ◽  
L. Chomat ◽  
E. Laucoin ◽  
B. Bary ◽  
...  
Keyword(s):  
Open Source ◽  
Cementitious Materials

Open Source

2007 ◽  
Author(s):  
Fadi P. Deek ◽  
James A. M. McHugh
Keyword(s):  
Open Source

Magnifico Classifico (mc) mit Open Source: Entwicklung eines Lernkonzeptes

2004 ◽  
Vol 176 (S 1) ◽  
Author(s):  
M Harth ◽  
St Zangos ◽  
Wo Schwarz ◽  
Oe Gürvit ◽  
Ma Lorenz ◽  
...  
Keyword(s):  
Open Source

Open Source Leadership

2009 ◽  
Author(s):  
Leslie Gadman ◽  
Cary Cooper
Keyword(s):  
Open Source

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.

Sign in / Sign up

Export Citation Format

Share Document