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)