Satisfiability

Satisfiability

Chi tiết về thư mục
Tác giả chính:	Hoare, C
Định dạng:	Record
Được phát hành:	2015

Những quyển sách tương tự

Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
Bằng: Jakub Michaliszyn, et al.
Được phát hành: (2012-10-01)

Satisfied with dissatisfaction?
Bằng: Key, A, et al.
Được phát hành: (1999)

Satisfying journey!
Bằng: Balaji Manohar
Được phát hành: (2015-01-01)

On the greedy algorithm for satisfiability
Bằng: Koutsoupias, E, et al.
Được phát hành: (1992)

Selection of Satisfied Association Rules via Aggregation of Linguistic Satisfied Degrees
Bằng: Fangling Ren, et al.
Được phát hành: (2019-01-01)

Terminal Satisfiability in GSTE
Bằng: Yongsheng Xu, et al.
Được phát hành: (2014-01-01)

Classical and quantum satisfiability
Bằng: Anderson de Araújo, et al.
Được phát hành: (2012-03-01)

SEPTORHINOPLASTY PATIENTS, ARE THEY SATISFIED?
Bằng: Ahmed M Al-Abbasi
Được phát hành: (2018-06-01)

Satisfied or not satisfied? Electronic health records system implementation in Ghana: Health leaders’ perspective
Bằng: Priscilla Y. A. Attafuah, et al.
Được phát hành: (2022-09-01)

Characterizing Boolean satisfiability variants
Bằng: Ferreira Antunes Filho, Ivan Tadeu.
Được phát hành: (2020)

Satisfiability Solvers are Static Analysers
Bằng: D'Silva, V, et al.
Được phát hành: (2012)

The Satisfiability Problem for Probabilistic CTL.
Bằng: Brázdil, T, et al.
Được phát hành: (2008)

Satisfiability solvers are static analysers
Bằng: D'Silva, V, et al.
Được phát hành: (2012)

Satisfy your craving for knowledge
Bằng: New Straits Times,
Được phát hành: (2014)

XPath satisfiability in the presence of DTDs
Bằng: Benedikt, M, et al.
Được phát hành: (2008)

On Supergraphs Satisfying CMSO Properties
Bằng: Mateus de Oliveira Oliveira
Được phát hành: (2021-11-01)

Generating functions and the satisfiability threshold
Bằng: Vincent Puyhaubert
Được phát hành: (2004-01-01)

Are transgender people satisfied with their lives?
Bằng: Katharina Grupp, et al.
Được phát hành: (2023-05-01)

An optimization approach for the satisfiability problem
Bằng: S. Noureddine
Được phát hành: (2015-01-01)

Deciding the Satisfiability of MITL Specifications
Bằng: Marcello Maria Bersani, et al.
Được phát hành: (2013-07-01)

Satisfiability of ATL with strategy contexts
Bằng: François Laroussinie, et al.
Được phát hành: (2013-07-01)

Generating functions and the satisfiability threshold
Bằng: Vincent Puyhaubert
Được phát hành: (2004-12-01)

A satisfying six years
Bằng: Rao Gullapalli
Được phát hành: (1998-01-01)

Higher-order quantified boolean satisfiability
Bằng: Chistikov, D, et al.
Được phát hành: (2022)

Radiating-collapsing models satisfying Karmarkar condition
Bằng: Suresh C. Jaryal
Được phát hành: (2020-07-01)

Smten and the art of satisfiability-based search
Bằng: Uhler, Richard Stephen
Được phát hành: (2015)

Proof of the satisfiability conjecture for large k
Bằng: Ding, Jian, et al.
Được phát hành: (2022)

On Approximability of Satisfiable k-CSPs: II
Bằng: Bhangale, Amey, et al.
Được phát hành: (2023)

On Approximability of Satisfiable k-CSPs: III
Bằng: Bhangale, Amey, et al.
Được phát hành: (2023)

On approximability of satisfiable k -CSPs: I
Bằng: Bhangale, Amey, et al.
Được phát hành: (2022)

Reasoning about Strategies: on the Satisfiability Problem
Bằng: Mogavero, F, et al.
Được phát hành: (2017)

Does assertibility satisfy the S4 axiom?
Bằng: Williamson, T
Được phát hành: (1995)

Folded Structures Satisfying Multiple Conditions
Bằng: Demaine, Erik D, et al.
Được phát hành: (2021)

Satisfiability checking meets symbolic computation
Bằng: Abraham, E, et al.
Được phát hành: (2016)

A framework for Satisfiability Modulo Theories.
Bằng: Kroening, D, et al.
Được phát hành: (2009)

On the functional equations satisfied by Eisenstein series /
Bằng: Langlands, Robert P., 1936-
Được phát hành: (1976)

On Relaxation Polytope of 3-satisfiability Problem
Bằng: B. V. Uryvaev
Được phát hành: (2007-06-01)

THE POSSIBILITIES OF ROMANIANS TO SATISFY THEIR NEEDS FOR SERVICES
Bằng: Cecilia Irina RĂBONŢU, et al.
Được phát hành: (2010-03-01)

Quotient rings satisfying some identities
Bằng: Mohammadi El Hamdaoui, et al.
Được phát hành: (2023-12-01)

Reasoning about Strategies: on the Satisfiability Problem
Bằng: Fabio Mogavero, et al.
Được phát hành: (2017-03-01)