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)