نتائج البحث

Classifier-based constraint acquisition

• Authors : Barry O'Sullivan; Steven David Prestwich; Eugene C. Freuder

Subjects: Computer science; Constraint acquisition; 0211 other engineering and technologies

تفاصيل العنوان

Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models

• Authors : Chuchu Fan; Kristina Miller; Sayan Mitra ...

Subjects: 050101 languages & linguistics; Computer science; 05 social sciences

• Source: Computer Aided Verification ISBN: 9783030532871CAV (1)

تفاصيل العنوان

Theorem Proving for Pointwise Metric Temporal Logic Overthe Naturals via Translations

• Authors : Clare Dixon; Ullrich Hustadt; Ana Ozaki

Subjects: Pointwise; Theoretical computer science; Computation tree logic

• Source: Journal of Automated ReasoningHustadt, U, Ozaki, A & Dixon, C 2020, ' Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations ', Journal of Automated Reasoning,

تفاصيل العنوان

Abstract Cores in Implicit Hitting Set MaxSat Solving

• Authors : Alex H. Poole; Jeremias Berg; Fahiem Bacchus ...

Subjects: MaxSat; 050101 languages & linguistics; Theoretical computer science

• Source: Theory and Applications of Satisfiability Testing – SAT 2020Theory and Applications of Satisfiability Testing – SAT 2020 ISBN:

تفاصيل العنوان

Backdoors for Linear Temporal Logic

• Authors : Irena Schindler; Sebastian Ordyniak; Arne Meier

Subjects: General Computer Science; Computer science; Parameterized complexity

• Source: Leibniz International Proceedings in Informatics, LIPIcs 63 (2017)Algorithmica

تفاصيل العنوان

Parallel SAT simplification on GPU architectures

• Authors : Osama, Muhammad; Wijs, Anton; Zhang, Lijun

Subjects: Computer science; Parallel algorithm; GPU

• Source: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030174613TACAS (1)Tools and Algorithms for the Construction and Analysis of Systems-25th International

تفاصيل العنوان

A Polynomial Translation from the Two−Variable Guarded Fragment with Number Restrictions to the Guarded Fragment

• Authors : Yevgeny Kazakov

Subjects: Discrete mathematics; Polynomial; TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES

• Source: Logics in Artificial Intelligence ISBN: 9783540232421JELIA

تفاصيل العنوان

Decidability and Expressivity of Ockhamist Propositional Dynamic Logics

• Authors : Emiliano Lorini; Joseph Boudou;

Subjects: Discrete mathematics; Propositional variable; Logique en informatique

• Source: JELIA 2016: Logics in Artificial Intelligence15th European Conference on Logics in Artificial Intelligence (JELIA 2016)15th European Conference on Logics in Artificial Intelligence (JELIA

تفاصيل العنوان

Exploiting short supports for improved encoding of arbitrary constraints into SAT

• Authors : Peter Nightingale; Christopher Jefferson; Ian P. Gent ...

Subjects: 060201 languages & linguistics; QA75; Theoretical computer science

• Source: Lecture Notes in Computer Science ISBN: 9783319449524CP

تفاصيل العنوان

Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row

• Authors : Peter Nightingale; Patrick Spracklen; Ian Miguel ...

Subjects: Constraint (information theory); QA75; Theoretical computer science

• Source: Lecture Notes in Computer Science ISBN: 9783319232188CP

تفاصيل العنوان