Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
610
search results - page 33 / 122
»
Using SAT in QBF
Sort
relevance
views
votes
recent
update
View
thumb
title
11
click to vote
DATE
2007
IEEE
110
views
Hardware
»
more
DATE 2007
»
Accurate timing analysis using SAT and pattern-dependent delay models
14 years 2 months ago
Download
www.date-conference.com
Desta Tadesse, D. Sheffield, E. Lenge, R. Iris Bah...
claim paper
Read More »
12
click to vote
VLSI
2007
Springer
89
views
Software Engineering
»
more
VLSI 2007
»
SWORD: A SAT like prover using word level information
14 years 1 months ago
Download
www.informatik.uni-bremen.de
Robert Wille, Görschwin Fey, Daniel Groß...
claim paper
Read More »
15
click to vote
ICCAD
2006
IEEE
100
views
Hardware
»
more
ICCAD 2006
»
Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search
14 years 1 months ago
Download
www.cecs.uci.edu
Zhaohui Fu, Sharad Malik
claim paper
Read More »
16
click to vote
ASPDAC
2007
ACM
79
views
Hardware
»
more
ASPDAC 2007
»
Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets
13 years 11 months ago
Download
www.aspdac.com
Stefan Disch, Christoph Scholl
claim paper
Read More »
18
click to vote
ASPDAC
2004
ACM
112
views
Hardware
»
more
ASPDAC 2004
»
Efficient reachability checking using sequential SAT
13 years 11 months ago
Download
cadlab.ece.ucsb.edu
Abstract
Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting...
claim paper
Read More »
« Prev
« First
page 33 / 122
Last »
Next »