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
846
search results - page 18 / 170
»
Rewrite-Based Decision Procedures
Sort
relevance
views
votes
recent
update
View
thumb
title
36
click to vote
ICTL
1994
242
views
Automated Reasoning
»
more
ICTL 1994
»
A Decision Procedure for a Temporal Belief Logic
14 years 1 months ago
Download
www.csc.liv.ac.uk
This paper presents a temporal belief logic called
Michael Wooldridge, Michael Fisher
claim paper
Read More »
17
click to vote
DAC
2010
ACM
152
views
Computer Architecture
»
more
DAC 2010
»
BooM: a decision procedure for boolean matching with abstraction and dynamic learning
14 years 1 months ago
Download
alcom.ee.ntu.edu.tw
Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang
claim paper
Read More »
31
click to vote
FROCOS
2009
Springer
108
views
Control Systems
»
more
FROCOS 2009
»
Efficient Combination of Decision Procedures for MUS Computation
14 years 1 months ago
Download
research.microsoft.com
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
Cédric Piette, Youssef Hamadi, Lakhdar Sais
claim paper
Read More »
39
click to vote
UMC
2000
231
views
Applied Computing
»
more
UMC 2000
»
Inaccessibility in Decision Procedures
14 years 1 months ago
Download
www.fun.ac.jp
Asaki Saiton, Kunihiko Kaneko
claim paper
Read More »
26
click to vote
DLOG
1996
114
views
Automated Reasoning
»
more
DLOG 1996
»
A New Method for Testing Decision Procedures in Modal and Terminological Logics
13 years 11 months ago
Download
www.aaai.org
Fausto Giunchiglia, Marco Roveri, Roberto Sebastia...
claim paper
Read More »
« Prev
« First
page 18 / 170
Last »
Next »