نتائج البحث

Handbook of Satisfiability : Second Edition

• Authors : A. Biere; M. Heule; H. van Maaren

Subjects: Computer algorithms--Congresses; Algebra, Boolean--Congresses; Propositional calculus--CongressesCOMPUTERS / Computer Science

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

The Satisfiability Problem : Algorithms and Analyses

• Authors : Uwe Schöning; Jacobo Torán

Subjects: AlgorithmsCOMPUTERS / General

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

Handbook of Satisfiability

• Authors : A. Biere, M. Heule, H. Van Maaren, T. Walsh

Subjects: Computer algorithms--Congresses; Algebra, Boolean--Congresses; Propositional calculus--CongressesCOMPUTERS / Artificial Intelligence / General

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

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability

• Authors : Jabs, Christoph; Berg, Jeremias; Bogaerts, Bart

Subjects: Computer Science - Artificial Intelligence

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

An Exact Solver for Satisfiability Modulo Counting with Probabilistic Circuits

• Authors : Li, Jinzhao; Jiang, Nan; Xue, Yexiang

Subjects: Computer Science - Artificial Intelligence; Computer Science - Logic in Computer Science

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

Solving Boolean satisfiability problems with resistive content addressable memories

• Authors : Pedretti, Giacomo; Böhm, Fabian; Bhattacharya, Tinish

Subjects: Computer Science - Emerging Technologies

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

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability

• Authors : Schmid, Ludwig; Peham, Tom; Berent, Lucas

Subjects: Quantum Physics

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

Inverse Intersections for Boolean Satisfiability Problems

• Authors : Homer, Paul W.

Subjects: Computer Science - Computational Complexity

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

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration

• Authors : Sebastiani, Roberto

Subjects: Computer Science - Logic in Computer Science; Computer Science - Artificial Intelligence

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

Synergies and Applications of Maximum Satisfiability and Automatic Configuration

• Authors : Alòs Pascual, Josep; University/Department: Universitat de Lleida. Departament d’Enginyeria Informàtica i Disseny Digital; ...

Subjects: MaxSAT; AC; Intel·ligència Artificial

• Source: TDX (Tesis Doctorals en Xarxa)

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