On constructing minimal formulae /

QR-kod

On constructing minimal formulae /

Sparad:

Bibliografiska uppgifter
Huvudupphovsman:	Dunne, Paul E.
Materialtyp:	Artikel
Språk:	English
Ämnen:	Boolean formulae Graph-based algorithms Minimum equivalent expression problem Non-adaptive np oracle computations
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Liknande verk

Some results on minimum discrete bending energy path in simple polygon /
av: Xie, Yulai.

Boolean Representations of Simplicial Complexes and Matroids
av: Rhodes, John, et al.
Publicerad: (2015)

Graphs, Algorithms, and Optimization
av: Kocay, William
Publicerad: (2005)

Graphs, algorithms, and optimization /
av: Kocay, William.
Publicerad: (2005)

Graphs, algorithms, and optimization /
av: Kocay, William.
Publicerad: (2005)

Graphs, algorithms, and optimization /
av: Kocay, William.
Publicerad: (2005)

Graph algorithms and applications.
Publicerad: (2002)

Sheaves of algebras over boolean spaces
av: Knoebel, Arthur
Publicerad: (2012)

The bidimensionality theory and its algorithmic applications /
av: Demaine, Erik D.

Mathematical handbook of formulas and tables
av: Spiegel, Murray R.
Publicerad: (1968)

Structural engineering formulas
av: Mikhelson, Ilya
Publicerad: (2004)

An Introduction to Binary Arithmetic
av: International Computers Limited
Publicerad: (1975)

Algorithmic graph theory
av: Alan Gibbons
Publicerad: (1985)

A study of linguistic expressions describing women in truyen kieu by nguyen du and their english translational equivalents
Publicerad: (2025)

The Oleinik-Lax-type formulas for multi-time Hamilton-Jacobi equations /
av: Van, Tran Duc.

Parameterized complexity of cardinality constrained optimization problems /
av: Cai, Leizhen.

Conditional gene genealogies under strong purifying selection /
av: Wakeley, John.

Parameterized complexity of geometric problems /
av: Giannopoulos, Panos.

Enumerating proofs of positive formulae /
av: Dowek, Gilles.

Expletive "It" and “Its” Vietnamese Equivalent Expressions
av: Nguyễn Thị Ngọc Hạnh
Publicerad: (2006)

A Genus - Degree formula for Fano variety of linear subspaces on complete intersections
av: Đặng, Tuấn Hiệp, et al.
Publicerad: (2024)

Wallace's approach to unsupervised learning : the snob program /
av: Jorgensen, Murray A.

On Sets and Graphs. 1st ed. 2017
av: Omodeo, Eugenio G., et al.
Publicerad: (2020)

Dynamics of Complex Autonomous Boolean Networks
av: Rosin, David P
Publicerad: (2015)

An investigation into linguistic expressions of interpersonal meaning and their translational equivalents in the tale of kieu and its english version
Publicerad: (2025)

An investigation into linguistic expressions denoting sadness and solitude in the tale of kieu and its english translational equivalent by michael counsell
Publicerad: (2025)

Graceful, Harmonious and Magic Type Labelings. 1st ed. 2017
av: López, Susana C., et al.
Publicerad: (2020)

Computing Boolean statistical models
av: Oliveira, Paulo Murilo Castro de

An investigation into linguistic expressions of interpersonal meaning and their translational equivalents in the tale of kieu and its english version /
av: Nguyễn,Thị Ly Thảo
Publicerad: (2015)

The church and a living wage
av: O'Brien, John A.
Publicerad: (1950)

Oracle OCP Oracle9i database fundamentals l exam guide (exam 1Z0-031) /
av: Couchman, Jason S.
Publicerad: (2002)

A 2-Index Stage-Based Formulation and a Construct-Merge-Solve and Adapt Algorithm for the Flying Sidekick Traveling Salesman Problem
av: Le, Thi Hong, et al.
Publicerad: (2026)

A study of linguistic expressions describing women in truyen Kieu by Nguyen Du and their English translational equivalents /
av: Phạm Thị Lan Anh
Publicerad: (2015)

On embeddedness of area-minimizing disks, and an application to constructing complete minimal surfaces /
av: Rossman, Wayne.

On the hardness of the sum of k Mins problem /
av: Asghar, Hassan Jameel.

Enterobacter sakazakii and pther microorganisms in powdered infant formula: Meeting report
Publicerad: (2004)

Parallel algorithms for graph problems /
av: Metaxas, Panatiotis.
Publicerad: (2000)

An investigation into linguistic expressions denoting sadness and solitude in the tale of kieu and its english translational equivalent by michael counsell /
av: Trang, Thục Hà Ngân
Publicerad: (2015)

Fast parallel algorithms for graph matching problems /
av: Karpinski, Marek, 1948-
Publicerad: (1998)

Equivalence theorem for generalized dependencies in relational databases
av: Nguyen, Xuan Huy, et al.
Publicerad: (2014)