|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2045 occurrences of 901 keywords
|
|
|
Results
Found 5214 publication records. Showing 5213 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Michael Korkin |
Self-Organized Evolutionary Process in Sets of Interdependent Variables near the Midpoint of Phase Transition in K-Satisfiability. |
ICES |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin |
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard |
Satisfiability Checking Using Boolean Expression Diagrams. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes |
Capturing Structure with Satisfiability. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Inês Lynce, Luís Baptista, João Marques-Silva 0001 |
Towards Provably Complete Stochastic Search Algorithms for Satisfiability. |
EPIA |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Jens Gottlieb, Nico Voss |
Adaptive Fitness Functions for the Satisfiability Problem. |
PPSN |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Alfredo Cruz |
PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vectors for Missing Faults in VLSI Circuits. |
ISMIS |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Karem A. Sakallah, Fadi A. Aloul, João P. Marques Silva |
An Experimental Study of Satisfiability Search Heuristics. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Vasco M. Manquinho, João Marques-Silva 0001 |
On Using Satisfiability-Based Pruning Techniques in Covering Algorithms. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski, ChiLai Huang |
A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Bart Selman |
Satisfiability Testing: Recent Developments and Challenge Problems. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Kazuo Iwama, Daisuke Kawai, Shuichi Miyazaki, Yasuo Okabe, Jun Umemoto |
Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM. |
WAE |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Esra Erdem 0001, Vladimir Lifschitz, Martin D. F. Wong |
Wire Routing and Satisfiability Planning. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Mark J. Boyd, Tracy Larrabee |
A Scalable, Loadable Custom Programmable Logic Device for Solving Boolean Satisfiability Problems. |
FCCM |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Luís Baptista, João Marques-Silva 0001 |
Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
18 | João Marques-Silva 0001 |
Algebraic Simplification Techniques for Propositional Satisfiability. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Edith Hemaspaandra |
Modal Satisfiability Is in Deterministic Linear Space. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Peixin Zhong, Margaret Martonosi, Pranav Ashar, Sharad Malik |
Using configurable computing to accelerate Boolean satisfiability. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Wojciech Plandowski |
Satisfiability of Word Equations with Constants is in PSPACE. |
FOCS |
1999 |
DBLP DOI BibTeX RDF |
word equations |
18 | Miron Abramovici, José T. de Sousa |
A Virtual Logic Algorithm for Solving Satisfiability Problems Using Reconfigurable Hardware. |
FCCM |
1999 |
DBLP DOI BibTeX RDF |
|
18 | C. K. Chung, Philip Heng Wai Leong |
An Architecture for Solving Boolean Satisfiability Using Runtime Configurable Hardware. |
ICPP Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Oskar Mencer, Marco Platzner |
Dynamic Circuit Generation for Boolean Satisfiability in an Object-Oriented Design Environment. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Gi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar |
Satisfiability-Based Detailed FPGA Routing. |
VLSI Design |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Michela Milano, Andrea Roli |
Solving the Satisfiability Problem through Boolean Networks. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
18 | R. Glenn Wood, Rob A. Rutenbar |
FPGA routing and routability estimation via Boolean satisfiability. |
IEEE Trans. Very Large Scale Integr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Jens Gottlieb, Nico Voss |
Improving the Performance of Evolutionary Algorithms for the Satisfiability Problem by Refining Functions. |
PPSN |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Peixin Zhong, Margaret Martonosi, Pranav Ashar, Sharad Malik |
Solving Boolean Satisfiability with Dynamic Hardware Configurations. |
FPL |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Azra Rashid, Jason Leonard, William H. Mangione-Smith |
Dynamic Circuit Generation for Solving Specific Problem Instances of Boolean Satisfiability. |
FCCM |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Gianluigi Folino, Clara Pizzuti, Giandomenico Spezzano |
Solving the Satisfiability Problem by a Parallel Celluar Genetic Algorithm. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Ian Horrocks 0001, Peter F. Patel-Schneider |
Optimising Propositional Modal Satisfiability for Description Logic Subsumption. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Jens Gottlieb, Nico Voss |
Representations, Fitness Functions and Genetic Operators for the Satisfiability Problem. |
Artificial Evolution |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Lance Fortnow |
Nondeterministic Polynomial Time versus Nondeterministic Logarithmic Space: Time-Space Tradeoffs for Satisfiability. |
CCC |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Takao Asano, Takao Ono, Tomio Hirata |
Approximation Algorithms for the Maximum Satisfiability Problem. |
SWAT |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Roberto Giaccio |
On-line Algorithms for Satisfiability Problems with Uncertainty. |
WG |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Paola Alimonti |
New Local Search Approximation Techniques for Maximum Generalized Satisfiability Problems. |
CIAC |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Mihalis Yannakakis |
On the Approximation of Maximum Satisfiability. |
SODA |
1992 |
DBLP BibTeX RDF |
|
18 | Srimat T. Chakradhar, Vishwani D. Agrawal, Michael L. Bushnell, Thomas K. Truong |
Neural Net and Boolean Satisfiability Models of Logic Circuits. |
IEEE Des. Test Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Alessandro Armando, Jacopo Mantovani, Lorenzo Platania |
Bounded model checking of software using SMT solvers instead of SAT solvers. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Michael Huth 0001, Orna Grumberg |
Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
Bounded reachability, Bit-vector arithmetic, Abstraction, Asynchronous systems, Decision diagrams, Memory models, Decision problems |
12 | Matthias Baaz, Agata Ciabattoni, Norbert Preining |
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann |
Symbolic Query Exploration. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary |
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination |
12 | Khair Eddin Sabri, Ridha Khédri, Jason Jaskolka |
Verification of Information Flow in Agent-Based Systems. |
MCETECH |
2009 |
DBLP DOI BibTeX RDF |
Global calculus, Information Algebra, Agent Knowledge, Information Flow, Hoare Logic |
12 | Ahmet Kara 0002, Volker Weber, Martin Lange, Thomas Schwentick |
On the Hybrid Extension of CTL and CTL+. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev |
Computing Stable Models via Reductions to Difference Logic. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski |
The Second Answer Set Programming Competition. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Goerdt |
On Random Ordering Constraints. |
CSR |
2009 |
DBLP DOI BibTeX RDF |
random structures, Algorithms, logic, probabilistic analysis, ordering |
12 | Andreas Goerdt |
On Random Betweenness Constraints. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
random structures, Algorithms, logic, probabilistic analysis |
12 | Feifei Ma, Sheng Liu, Jian Zhang 0001 |
Volume Computation for Boolean Combination of Linear Arithmetic Constraints. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Linh Anh Nguyen, Andrzej Szalas |
A Tableau Calculus for Regular Grammar Logics with Converse. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Carsten Ihlemann, Viorica Sofronie-Stokkermans |
System Description: H-PILoT. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
local theory extensions, hierarchical reasoning |
12 | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
A Schemata Calculus for Propositional Logic. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera |
Tableaux and Model Checking for Memory Logics. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Rajeev Goré, Florian Widmann |
Sound Global State Caching for ALC with Inverse Roles. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Sergey Babenyshev, Vladimir V. Rybakov |
Temporal Logic for Modeling Discovery and Logical Uncertainty. |
KES (2) |
2009 |
DBLP DOI BibTeX RDF |
decidability algorithms, Kripke/Hintikka models, temporal logic, uncertainty, chance discovery |
12 | Robert Brummayer, Armin Biere |
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Uwe Keller, Stijn Heymans |
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
An Automata-Theoretic Approach to Regular XPath. |
DBPL |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki 0001 |
SAT-based analysis of feature models is easy. |
SPLC |
2009 |
DBLP BibTeX RDF |
|
12 | Enrico Giunchiglia, Marco Maratea |
Improving Plan Quality in SAT-Based Planning. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
Partitioning Search Spaces of a Randomized Search. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Nikolaj S. Bjørner, Leonardo Mendonça de Moura |
Tapas: Theory Combinations and Practical Applications. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Open answer set programming with guarded programs. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
fixed-point logic, open domains, Answer set programming |
12 | Zhenhua Duan, Cong Tian, Li Zhang |
A decision procedure for propositional projection temporal logic with infinite models. |
Acta Informatica |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Ruzica Piskac, Viktor Kuncak |
Linear Arithmetic with Stars. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
12 | |
Introduction. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Muhammad Fahad 0011, Muhammad Abdul Qadir 0001, Syed Adnan Hussain Shah |
Evaluation of Ontologies and DL Reasoners. |
Intelligent Information Processing |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Felix Brandt 0001, Felix A. Fischer, Markus Holzer 0001 |
Equilibria of Graphical Games with Symmetries. |
WINE |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Shaohua Liu, Junsheng Yu, Yinglong Ma, Xu Zhang, Xiaoming Liu, Hansheng Su |
Prioritizing Default Rules Embedded in Description Logic Knowledge Base. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jens Groth, Amit Sahai |
Efficient Non-interactive Proof Systems for Bilinear Groups. |
EUROCRYPT |
2008 |
DBLP DOI BibTeX RDF |
Non-interactive witness-indistinguishability, common reference string, non-interactive zero-knowledge, bilinear groups |
12 | Syed Zafar Shazli, Mehdi Baradaran Tahoori |
Obtaining Microprocessor Vulnerability Factor Using Formal Methods. |
DFT |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Lance Fortnow, Rahul Santhanam |
Infeasibility of instance compression and succinct PCPs for NP. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
instance compression, succinct PCPs, cryptography, parameterized complexity, polynomial hierarchy |
12 | Rémi Brochenin, Stéphane Demri, Étienne Lozes |
On the Almighty Wand. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Ruzica Piskac, Viktor Kuncak |
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
verification and program analysis, cardinality operator, mixed linear integer-rational arithmetic, fuzzy sets, sets, multisets |
12 | Nathan Segerlind |
On the Relative Efficiency of Resolution-Like Proofs and Ordered Binary Decision Diagram Proofs. |
CCC |
2008 |
DBLP DOI BibTeX RDF |
lower bounds, resolution, ordered binary decision diagrams, propositional proof complexity |
12 | Joël Ouaknine, James Worrell 0001 |
Some Recent Results in Metric Temporal Logic. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Alexander Rabinovich |
Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Patrick Traxler |
The Time Complexity of Constraint Satisfaction. |
IWPEC |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Viorica Sofronie-Stokkermans |
On unification for bounded distributive lattices. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
decision procedures for the positive theory, Theorem proving, unification, distributive lattices, SAT solving |
12 | Zhi-Hong Tao, Conghua Zhou, Zhong Chen, Lifu Wang |
Bounded Model Checking of CTL. |
J. Comput. Sci. Technol. |
2007 |
DBLP DOI BibTeX RDF |
symbolic model checking, bounded model checking, QBF, CTL* |
12 | Colin Cooper, Alan M. Frieze, Gregory B. Sorkin |
Random 2-SAT with Prescribed Literal Degrees. |
Algorithmica |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Joseph Y. Halpern, Riccardo Pucella |
Characterizing and reasoning about probabilistic and non-probabilistic expectation. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
Dempster-Shafer belief functions, probability theory, Expectation, possibility measures |
12 | Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais |
Eliminating Redundant Clauses in SAT Instances. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Preferential Description Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Stéphane Demri, Alexander Rabinovich |
The Complexity of Temporal Logic with Until and Since over Ordinals. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani |
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Kunal P. Ganeshpure, Sandip Kundu |
Interactive presentation: Automatic test pattern generation for maximal circuit noise in multiple aggressor crosstalk faults. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Victor V. Toporkov |
Dataflow Analysis of Distributed Programs Using Generalized Marked Nets. |
DepCoS-RELCOMEX |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Marcin Jurdzinski, Ranko Lazic 0001 |
Alternation-free modal mu-calculus for data trees. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell 0001 |
The Cost of Punctuality. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti |
Verifying Heap-Manipulating Programs in an SMT Framework. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Göller, Markus Lohrey, Carsten Lutz |
PDL with Intersection and Converse Is 2 EXP-Complete. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais |
From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. |
MICAI |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Artiom Alhazov, Mario J. Pérez-Jiménez |
Uniform Solution of. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub |
Conflict-Driven Answer Set Enumeration. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin 0005, Christopher Lynch, Ralph Eric McGregor |
Encoding First Order Proofs in SAT. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Schwentick, Volker Weber |
Bounded-Variable Fragments of Hybrid Logics. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu |
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Éric Grégoire, Bertrand Mazure, Cédric Piette |
MUST: Provide a Finer-Grained Explanation of Unsatisfiability. |
CP |
2007 |
DBLP DOI BibTeX RDF |
unsatisfiability, MUC, MUS, MUST, CSP, explanation, constraint networks |
|
|