×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [literal x]
Courtesy RK Brayton (UCB) and A Kuehlmann (Cadence) 1 Logic Synthesis Boolean Functions and Circuits
231 views
MetiTarski: An Automatic Prover for Real-Valued Special Functions
72 views
Using Problem Structure for Efficient Clause Learning Ashish Sabharwal, Paul Beame, Henry Kautz University of Washington, Seattle April 23, 2003
215 views
Complexity 11-1 Complexity Andrei Bulatov NP-Completeness
226 views
Complexity ©D.Moshkovitz 1 Paths On the Reasonability of Finding Paths in Graphs
232 views
IKI10201 03b-Logic Gates
69 views
Data Compression with finite windows Fiala and Greene Speaker: Giora Alexandron
227 views
Artificial Intelligence Slides
83 views