|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1725 occurrences of 797 keywords
|
|
|
Results
Found 5713 publication records. Showing 5700 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
32 | Michael Codish |
Proving Termination with (Boolean) Satisfaction. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Danny Harnik, Moni Naor |
On the Compressibility of NP Instances and Cryptographic Applications. |
FOCS |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer |
Stepping forward with interpolants in unbounded model checking. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton, Niklas Eén |
Improvements to combinational equivalence checking. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Elitza N. Maneva, Elchanan Mossel, Martin J. Wainwright |
A new look at survey propagation and its generalizations. |
SODA |
2005 |
DBLP BibTeX RDF |
|
32 | Enrico Giunchiglia, Marco Maratea |
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
Efficient Modeling of Embedded Memories in Bounded Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Fang Yu 0001, Bow-Yaw Wang |
Toward Unbounded Model Checking for Region Automata. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
Region automata, Real-time systems, Model checking, Verification, Induction, BMC |
32 | Habiba Drias, Amine Taibi, Sofiane Zekour |
Cooperative Ant Colonies for Solving the Maximum Weighted Satisfiability Problem. |
IWANN (1) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz |
Hardware Implementations of Real-Time Reconfigurable WSAT Variants. |
FPL |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Carlos Ansótegui, Jose Larrubia, Felip Manyà |
Boosting Chaff's Performance by Incorporating CSP Heuristics. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Jesse D. Bingham, Alan J. Hu |
Semi-formal Bounded Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Farzan Fallah, Srinivas Devadas, Kurt Keutzer |
Functional vector generation for HDL models using linearprogramming and Boolean satisfiability. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva |
On Applying Incremental Satisfiability to Delay Fault Testing. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
32 | João P. Marques Silva, Karem A. Sakallah |
Boolean satisfiability in electronic design automation. |
DAC |
2000 |
DBLP DOI BibTeX RDF |
|
32 | João Marques-Silva 0001, Thomas Glass |
Combinational Equivalence Checking Using Satisfiability and Recursive Learning. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
Boolean Satisfiability, Recursive Learning, Combinational Equivalence Checking |
32 | Zhe Wu 0002, Benjamin W. Wah |
Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers. |
ICTAI |
1999 |
DBLP DOI BibTeX RDF |
DIMACS benchmarks, discrete Lagrange-multiplier method, first-order search procedure, satisfiability, traps |
32 | Michela Milano, Andrea Roli |
Solving the Satisfiability Problem through Boolean Networks. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Peixin Zhong, Margaret Martonosi, Pranav Ashar, Sharad Malik |
Solving Boolean Satisfiability with Dynamic Hardware Configurations. |
FPL |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Marijn Heule, Hans van Maaren |
From Idempotent Generalized Boolean Assignments to Multi-bit Search. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Juan Antonio Navarro Pérez, Andrei Voronkov |
Encodings of Problems in Effectively Propositional Logic. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich |
Solving Multi-objective Pseudo-Boolean Problems. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Knot Pipatsrisawat, Adnan Darwiche |
A Lightweight Component Caching Scheme for Satisfiability Solvers. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Carla P. Gomes, Jörg Hoffmann 0001, Ashish Sabharwal, Bart Selman |
Short XORs for Model Counting: From Theory to Practice. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Eugene Goldberg |
Determinization of Resolution by an Algorithm Operating on Complete Assignments. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Oliver Kullmann, Inês Lynce, João Marques-Silva 0001 |
Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Steven D. Prestwich, Inês Lynce |
Local Search for Unsatisfiability. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Andrei A. Bulatov, Evgeny S. Skvortsov |
Efficiency of Local Search. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Panagiotis Manolios, Yimin Zhang |
Implementing Survey Propagation on Graphics Processing Units. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Vasco M. Manquinho, João Marques-Silva 0001 |
On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Sakari Seitz, Mikko Alava, Pekka Orponen |
Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Uwe Bubeck, Hans Kleine Büning, Xishun Zhao |
Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Anton Belov, Zbigniew Stachniak |
Substitutional Definition of Satisfiability in Classical Propositional Logic. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Mark H. Liffiton, Karem A. Sakallah |
On Finding All Minimally Unsatisfiable Subformulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Tian Sang, Paul Beame, Henry A. Kautz |
Heuristics for Fast Exact Model Counting. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Steven D. Prestwich |
Random Walk with Continuously Smoothed Variable Weights. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Gilles Audemard, Lakhdar Sais |
A Symbolic Search Based Approach for Quantified Boolean Formulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
Satisfiability, Binary decision diagram, Quantified boolean formula |
32 | Armin Biere |
Resolve and Expand. |
SAT (Selected Papers |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Stefan Porschen, Bert Randerath, Ewald Speckenmeyer |
Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski |
Satisfiability and Computing van der Waerden Numbers. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella |
Watched Data Structures for QBF Solvers. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Maher N. Mneimneh, Karem A. Sakallah |
Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Ashish Sabharwal, Paul Beame, Henry A. Kautz |
Using Problem Structure for Efficient Clause Learning. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Marc Herbstritt, Bernd Becker 0001 |
Conflict-Based Selection of Branching Rules. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Thomas C. Henderson, David Sacharny, Amar Mitiche, Xiuyi Fan, Amelia C. Lessen, Ishaan Rajan, Tessa Nishida |
Chop-SAT: A New Approach to Solving SAT and Probabilistic SAT for Agent Knowledge Bases. |
ICAART (3) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska |
SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators. |
AAAI |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara |
Compiling finite linear CSP into SAT. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
SAT encoding, Open-shop scheduling problems, Constraint satisfaction problems |
30 | Alessandro Armando, Luca Compagna |
SAT-based model-checking for security protocols analysis. |
Int. J. Inf. Sec. |
2008 |
DBLP DOI BibTeX RDF |
SAT-based model checking, Multi-set rewriting, Security protocols, Bounded model checking |
30 | Nikhil Saluja, Kanupriya Gulati, Sunil P. Khatri |
SAT-based ATPG using multilevel compatible don't-cares. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Boolean satisfiabilty (SAT), testing, Automatic test pattern generation (ATPG), don't cares |
30 | Jun Chen, Wei Liu, Yuli Gao, Shouxia Sun |
Fluorescence Model of 3-SAT in DNA Computing. |
ICIC (3) |
2007 |
DBLP DOI BibTeX RDF |
Trichotomy Strategy, Fluorescein-labeled, Parallel, SAT |
30 | Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson 0001 |
Modular verification of code with SAT. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
formal methods, formal verification, first-order logic, SAT, software model checking, alloy |
30 | Vishnu C. Vimjam, Michael S. Hsiao |
Fast illegal state identification for improving SAT-based induction. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
learning, ATPG, SAT, induction |
30 | Andreas Meier 0002, Volker Sorge |
Applying SAT Solving in Classification of Finite Algebras. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
application of SAT, finite algebra, mathematics |
30 | Liang Zhang 0012, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle |
Dynamic abstraction using SAT-based BMC. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
model checking, SAT, abstraction refinement |
30 | Sarfraz Khurshid, Darko Marinov |
TestEra: Specification-Based Testing of Java Programs Using SAT. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation |
30 | Victor Khomenko, Maciej Koutny, Alexandre Yakovlev |
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
net unfoldings, partial order techniques, Petri nets, logic synthesis, asynchronous circuits, SAT, signal transition graphs, STG, self-timed circuits |
30 | Victor Khomenko, Maciej Koutny, Alexandre Yakovlev |
Detecting State Coding Conflicts in STG Unfoldings Using SAT. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
complete state coding, CSC, net unfoldings, Petri nets, asynchronous circuits, SAT, signal transition graphs, STG, automated synthesis |
30 | Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire |
Eliminating Redundancies in SAT Search Trees. |
ICTAI |
2003 |
DBLP DOI BibTeX RDF |
Davis and Putnam´s algorithm, Boolean search and satisfiability, SAT |
30 | Paul Tafertshofer, Andreas Ganz, Manfred Henftling |
A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
SAT-based implication engine, circuit clause description, efficient ATPG, implication evaluation, indirect implications, netlist optimization, structure based methods, graph algorithms, automatic testing, logic circuits, graph model, equivalence checking, implication graph |
29 | Hankui Zhuo, Qiang Yang 0001, Lei Li 0022 |
Constraint-Based Case-Based Planning Using Weighted MAX-SAT. |
ICCBR |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Lijuan Luo, Martin D. F. Wong |
On using SAT to ordered escape problems. |
ASP-DAC |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Heidi Gebauer |
Disproof of the Neighborhood Conjecture with Implications to SAT. |
ESA |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Arthur Choi, Trevor Standley, Adnan Darwiche |
Approximating Weighted Max-SAT Problems by Compensating for Relaxations. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki 0001 |
SAT-based analysis of feature models is easy. |
SPLC |
2009 |
DBLP BibTeX RDF |
|
29 | Igor Razgon, Barry O'Sullivan |
Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract). |
ICALP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Kenshu Seto, Yuta Nonaka, Takuya Maruizumi, Yasuhiro Shiraki |
SAT-based resource binding for reducing critical path delays. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Baiqiang Chen |
Strategies on Algebraic Attacks Using SAT Solvers. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes |
Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu |
Edge Matching Puzzles as Hard SAT/CSP Benchmarks. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Colin Cooper, Alan M. Frieze, Gregory B. Sorkin |
Random 2-SAT with Prescribed Literal Degrees. |
Algorithmica |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Thomas Hofmeister, Uwe Schöning, Rainer Schuler, Osamu Watanabe 0001 |
Randomized Algorithms for 3-SAT. |
Theory Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais |
Eliminating Redundant Clauses in SAT Instances. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Andrea Montanari, Devavrat Shah |
Counting good truth assignments of random k-SAT formulae. |
SODA |
2007 |
DBLP BibTeX RDF |
|
29 | Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler |
SWORD: A SAT like prover using word level information. |
VLSI-SoC |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang Huang |
QuteSAT: a robust circuit-based SAT solver for complex circuit structure. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Joseph Ibershoff, Jerzy W. Jaromczyk, Danny van Noort |
Making the SAT decision Based on a DNA Computation. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Alexander S. Kulikov, Konstantin Kutzkov |
New Bounds for MAX-SAT by Clause Learning. |
CSR |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà |
A Complete Resolution Calculus for Signed Max-SAT. |
ISMVL |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Görschwin Fey, Tim Warode, Rolf Drechsler |
Reusing Learned Information in SAT-based ATPG. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Knot Pipatsrisawat, Adnan Darwiche |
Clone: Solving Weighted Max-SAT in a Reduced Search Space. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Carla P. Gomes, Willem Jan van Hoeve, Lucian Leahu |
The Power of Semidefinite Programming Relaxations for MAX-SAT. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Warren A. Hunt Jr., Erik Reeber |
A SAT-based procedure for verifying finite state machines in ACL2. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
satisfiability solving, theorem proving, hardware verification, ACL2 |
29 | Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl |
SAT Solving for Argument Filterings. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Marc Herbstritt, Bernd Becker 0001, Christoph Scholl 0001 |
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. |
MTV |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Ping Gong 0004, Daoyun Xu |
A New Lower Bound of Critical Function for (k, s)-SAT. |
TAMC |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Shujun Deng, Weimin Wu, Jinian Bian |
Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving. |
CSCWD (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Erik Reeber, Warren A. Hunt Jr. |
A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA). |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Görschwin Fey, Junhao Shi, Rolf Drechsler |
Efficiency of Multi-Valued Encoding in SAT-based ATPG. |
ISMVL |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Edward A. Hirsch, Arist Kojevnikov |
UnitWalk: A new SAT solver that uses local search guided by unit clause elimination. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
local search, empirical evaluation, Boolean satisfiability |
29 | Hyeong-Ju Kang, In-Cheol Park |
SAT-based unbounded symbolic model checking. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Dalila Boughaci, Habiba Drias |
Efficient and Experimental Meta-heuristics for MAX-SAT Problems. |
WEA |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Jianlin Feng, Huijun Liu, Jing Zou |
SAT-MOD: moderate itemset fittest for text classification. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
MODFIT (moderate itemset fittest) heuristic, text classification |
29 | Yuliya Lierler |
cmodels - SAT-Based Disjunctive Answer Set Solver. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan |
An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Sean Safarpour, Görschwin Fey, Andreas G. Veneris, Rolf Drechsler |
Utilizing don't care states in SAT-based bounded sequential problems. |
ACM Great Lakes Symposium on VLSI |
2005 |
DBLP DOI BibTeX RDF |
don't care states, unreachable states, satisfiability, bounded model checking, sequential equivalence checking |
29 | Mohamed El-bachir Menai |
A Two-Phase Backbone-Based Search Heuristic for Partial MAX-SAT - An Initial Investigation. |
IEA/AIE |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang |
Safety Property Verification Using Sequential SAT and Bounded Model Checking. |
IEEE Des. Test Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Alberto Bemporad, Nicolò Giorgetti |
SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems. |
CPAIOR |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Inês Lynce, João Marques-Silva 0001 |
Hidden Structure in Unsatisfiable Random 3-SAT: An Empirical Study. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
|
|