The direct solution of crystal structures by a Boolean programming optimization methodology.

A structural approach to delay optimization in combinational circuits /
by: Munshi, Avinash
Published: (1999)

Cryptographic Boolean functions and applications /
by: Cusick, Thomas W., 1943-
Published: (2009)

Cryptographic Boolean functions and applications /
by: Cusick, Thomas W., 1943-
Published: (2009)

Nondeterminism and optimization /
by: Cai, Liming
Published: (1994)

Reasoning in Boolean Networks : Logic Synthesis and Verification using Testing Techniques /
by: Kunz, Wolfgang
Published: (1997)

Boolean Functions and Computation Models /
by: Clote, Peter
Published: (2002)

The effects of solution parameters on the structure of polyethylene single crystals.
by: Ashburn, Donald George
Published: (1964)

Cryptographic Boolean functions and applications /
by: Cusick, Thomas W., 1943-
Published: (2009)

Cryptographic Boolean functions and applications /
by: Cusick, Thomas W., 1943-, et al.
Published: (2017)

An investigation into optimization of iteration parameters for solving partial differential equations by the alternating-direction implicit procedure.
by: Pitts, Gerald Nelson
Published: (1967)

Interactive directed programming in computer assisted instruction.
by: Ward, Darrell Lynn
Published: (1973)

Efficient Path Delay Test Generation with Boolean Satisfiability /
by: Bian, Kun
Published: (2014)

The structure of a generalized programming language compiler.
by: Madrigal, Orlando Sia
Published: (1972)

Boolean Reasoning : the Logic of Boolean Equations /
by: Brown, Frank Markham
Published: (1990)

Boolean operations on polygon meshes /
by: Kitagawa De Leon, Midori
Published: (1993)

On semigroups of Boolean algebra endomorphisms.
by: McCormick, James Franklin
Published: (1973)

A formal methodology for the specification and analysis of imprecise requirements /
by: Liu, Xiaoqing
Published: (1995)

Crystal-Like geometric modeling /
by: Landreneau, Eric, 1979-
Published: (2006)

Journal on satisfiability, Boolean modeling and computation.
Published: (2004)

A program evaluation of on-line file organization methods.
by: Griffith, Byron James
Published: (1973)

Control in Probabilistic Boolean Networks /
by: Choudhary, Ashish
Published: (2003)

Optimization techniques for probabilistic roadmaps /
by: Dale, Lucia Kathryn
Published: (2000)

Analysis of boolean functions /
by: O'Donnell, Ryan, 1979-
Published: (2014)

The complexity of Boolean functions /
by: Wegener, Ingo
Published: (1987)

Programming Methodology : a Collection of Articles by Members of IFIP WG2.3 /
by: Gries, David
Published: (1978)

Progress in applications of Boolean functions /
Published: (2010)

Progress in applications of boolean functions /
Published: (2010)

Boolean function complexity /
Published: (1992)

A visual programming environment for data-structured programming.
by: Teel, Scott Carlton
Published: (1987)

Supporting multiple perspectives and direct manipulation for visualizing and operating structured data using configurable two-way mapping /
by: Hsieh, Hao-Wei, 1969-
Published: (2001)

Creating a methodology and tool to capture and resolve conflicts in developing software requirements : Requirement Lifecycle Modeling Views manager (RLMV) /
by: Herrera, Leeha Rae-Lyn
Published: (2000)

Conditionals and Boolean Expressions.
Published: (2016)

A performance optimization model of processor scheduling for a time-sharing computer system.
by: Cary, Stedman Eugene
Published: (1973)

A parallel solution of the inverse problem associated with a hyperbolic partial differential equation /
by: Phillips, Mike Randall
Published: (1993)

Boolean operations between solids and surfaces by triangles and triangular patches /
by: Chen, Fuu-Diing
Published: (1992)

Numerical solution of the Navier-Stokes equations in the entry region of a straight tube.
by: Little, James Gilbert
Published: (1966)