Satisfiability

Satisfiability

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Hoare, C
Μορφή:	Record
Έκδοση:	2015

Παρόμοια τεκμήρια

Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
ανά: Jakub Michaliszyn, κ.ά.
Έκδοση: (2012-10-01)

Satisfied with dissatisfaction?
ανά: Key, A, κ.ά.
Έκδοση: (1999)

Satisfying journey!
ανά: Balaji Manohar
Έκδοση: (2015-01-01)

On the greedy algorithm for satisfiability
ανά: Koutsoupias, E, κ.ά.
Έκδοση: (1992)

Selection of Satisfied Association Rules via Aggregation of Linguistic Satisfied Degrees
ανά: Fangling Ren, κ.ά.
Έκδοση: (2019-01-01)

Terminal Satisfiability in GSTE
ανά: Yongsheng Xu, κ.ά.
Έκδοση: (2014-01-01)

Classical and quantum satisfiability
ανά: Anderson de Araújo, κ.ά.
Έκδοση: (2012-03-01)

SEPTORHINOPLASTY PATIENTS, ARE THEY SATISFIED?
ανά: Ahmed M Al-Abbasi
Έκδοση: (2018-06-01)

Satisfied or not satisfied? Electronic health records system implementation in Ghana: Health leaders’ perspective
ανά: Priscilla Y. A. Attafuah, κ.ά.
Έκδοση: (2022-09-01)

Characterizing Boolean satisfiability variants
ανά: Ferreira Antunes Filho, Ivan Tadeu.
Έκδοση: (2020)

Satisfiability Solvers are Static Analysers
ανά: D'Silva, V, κ.ά.
Έκδοση: (2012)

The Satisfiability Problem for Probabilistic CTL.
ανά: Brázdil, T, κ.ά.
Έκδοση: (2008)

Satisfiability solvers are static analysers
ανά: D'Silva, V, κ.ά.
Έκδοση: (2012)

Satisfy your craving for knowledge
ανά: New Straits Times,
Έκδοση: (2014)

XPath satisfiability in the presence of DTDs
ανά: Benedikt, M, κ.ά.
Έκδοση: (2008)

On Supergraphs Satisfying CMSO Properties
ανά: Mateus de Oliveira Oliveira
Έκδοση: (2021-11-01)

Generating functions and the satisfiability threshold
ανά: Vincent Puyhaubert
Έκδοση: (2004-01-01)

Are transgender people satisfied with their lives?
ανά: Katharina Grupp, κ.ά.
Έκδοση: (2023-05-01)

An optimization approach for the satisfiability problem
ανά: S. Noureddine
Έκδοση: (2015-01-01)

Deciding the Satisfiability of MITL Specifications
ανά: Marcello Maria Bersani, κ.ά.
Έκδοση: (2013-07-01)

Satisfiability of ATL with strategy contexts
ανά: François Laroussinie, κ.ά.
Έκδοση: (2013-07-01)

Generating functions and the satisfiability threshold
ανά: Vincent Puyhaubert
Έκδοση: (2004-12-01)

A satisfying six years
ανά: Rao Gullapalli
Έκδοση: (1998-01-01)

Higher-order quantified boolean satisfiability
ανά: Chistikov, D, κ.ά.
Έκδοση: (2022)

Radiating-collapsing models satisfying Karmarkar condition
ανά: Suresh C. Jaryal
Έκδοση: (2020-07-01)

Smten and the art of satisfiability-based search
ανά: Uhler, Richard Stephen
Έκδοση: (2015)

Proof of the satisfiability conjecture for large k
ανά: Ding, Jian, κ.ά.
Έκδοση: (2022)

On Approximability of Satisfiable k-CSPs: II
ανά: Bhangale, Amey, κ.ά.
Έκδοση: (2023)

On Approximability of Satisfiable k-CSPs: III
ανά: Bhangale, Amey, κ.ά.
Έκδοση: (2023)

On approximability of satisfiable k -CSPs: I
ανά: Bhangale, Amey, κ.ά.
Έκδοση: (2022)

Reasoning about Strategies: on the Satisfiability Problem
ανά: Mogavero, F, κ.ά.
Έκδοση: (2017)

Does assertibility satisfy the S4 axiom?
ανά: Williamson, T
Έκδοση: (1995)

Folded Structures Satisfying Multiple Conditions
ανά: Demaine, Erik D, κ.ά.
Έκδοση: (2021)

Satisfiability checking meets symbolic computation
ανά: Abraham, E, κ.ά.
Έκδοση: (2016)

A framework for Satisfiability Modulo Theories.
ανά: Kroening, D, κ.ά.
Έκδοση: (2009)

On the functional equations satisfied by Eisenstein series /
ανά: Langlands, Robert P., 1936-
Έκδοση: (1976)

On Relaxation Polytope of 3-satisfiability Problem
ανά: B. V. Uryvaev
Έκδοση: (2007-06-01)

THE POSSIBILITIES OF ROMANIANS TO SATISFY THEIR NEEDS FOR SERVICES
ανά: Cecilia Irina RĂBONŢU, κ.ά.
Έκδοση: (2010-03-01)

Quotient rings satisfying some identities
ανά: Mohammadi El Hamdaoui, κ.ά.
Έκδοση: (2023-12-01)

Reasoning about Strategies: on the Satisfiability Problem
ανά: Fabio Mogavero, κ.ά.
Έκδοση: (2017-03-01)