On the Usefulness of Clause Strengthening in Parallel SAT Solving
NFM ; 12. ; 2020 ; Moffett Field, Calif.; Online
2020
Conference paper
English
Security - Confidentiality clause
Online Contents | 2007
Evolution of the Shipbuilding Escalation Clause
NTIS | 1982
|Irresponsibility clause in air traffic contracts
NTRS | 1922
|Testing the constitutionality of the commodity clause
Engineering Index Backfile | 1909
INSURANCE - Special compensation clause to be launched
Online Contents | 1999