fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Constraint-based verification

Constraint-based verification

by Jun Yuan, Carl Pixley, Adnan Aziz

Digital electronicsConstraints (Artificial intelligence)TestingElectronic systemsDesign and construction
0.0
Open Library
Open Library

Themes & subjects

Digital electronicsConstraints (Artificial intelligence)TestingElectronic systemsDesign and constructionSystems engineering

Authors

Jun Yuan, Carl Pixley, Adnan Aziz

Pages

266

Read time

≈ 7h

Editions

3

Language

English

Publisher

Springer

ISBN

9780387307848

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Digital Electronics

Digital electronics · Digital electronics.

Digital Electronics

William Kleitz

1987

Digital electronics

Digital electronics · Textbooks

Digital electronics

Roger L. Tokheim

1979

Digital systems

Digital electronics · Electronic digital computers

Digital systems

Ronald J. Tocci

1977

Digital fundamentals

Digital electronics · Logic circuits

Digital fundamentals

Thomas L. Floyd

1977

Digital Design

Design and construction · Digital electronics

Digital Design

John F. Wakerly

1990

Digital microfluidic biochips

Microfluidic devices · Microfluidics

Digital microfluidic biochips

Krishnendu Chakrabarty

2006

Discrete-time signal processing

Digital electronics · Signal theory (Telecommunication)

Discrete-time signal processing

Alan V. Oppenheim

1975

Basic Electronics

Engineering · Electronics

Basic Electronics

Sean Westcott

2015

Halbleiter-Schaltungstechnik

Digital electronics · Integrated circuits

Halbleiter-Schaltungstechnik

U. Tietze

1969

Digital logic testing and simulation

Digital electronics · Testing

Digital logic testing and simulation

Alexander Miczo

1985

Digital photogrammetry

Aerial photogrammetry · Business

Digital photogrammetry

Michel Kasser

2001

Introduction to electromagnetic compatibility

Electronic circuits · Digital electronics

Introduction to electromagnetic compatibility

Clayton R. Paul

1992

Constraint Propagation in Flexible Manufacturing

Engineering economy · Economics

Constraint Propagation in Flexible Manufacturing

Toan Phan Huy

2000

Complexity classifications of Boolean constraint satisfaction problems

Boolean Algebra · Computational complexity

Complexity classifications of Boolean constraint satisfaction problems

Nadia Creignou

1987

Constraint-based Acoustic Modelling (Sprache, Sprechen Und Computer)

Grammar, comparative and general, phonology · Automatic speech recognition

Constraint-based Acoustic Modelling (Sprache, Sprechen Und Computer)

Moritz Neugebauer

2007

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Electronic data processing · Computational complexity

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Tobias Achterberg

2011

Practice and theory of automated timetabling

Scheduling · Constraints (Artificial intelligence)

Practice and theory of automated timetabling

Edmund Burke

1996

Constraint-based scheduling

Constraints (Artificial intelligence) · Production scheduling

Constraint-based scheduling

Philippe Baptiste

2001