|
|
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 |
36 | Hans van Maaren, Siert Wieringa |
Finding Guaranteed MUSes Fast. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Dominik Scheder, Philipp Zumstein |
How Many Conflicts Does It Need to Be Unsatisfiable? |
SAT |
2008 |
DBLP DOI BibTeX RDF |
unsatisfiable formulas, Lovász Local Lemma, satisfiability, conflict graph |
36 | Alasdair Urquhart |
Regular and General Resolution: An Improved Separation. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Martin Davis |
SAT: Past and Future. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Chu Min Li, Wanxia Wei, Harry Zhang |
Combining Adaptive Noise and Look-Ahead in Local Search for SAT. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Naomi Nishimura, Prabhakar Ragde, Stefan Szeider |
Solving #SAT Using Vertex Covers. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Roberto Sebastiani, Michele Vescovi |
Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Magnus Wahlström |
Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Nicola Galesi, Oliver Kullmann |
Polynomial Time SAT Decision, Hypergraph Transversals and the Hermitian Rank. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Danila A. Sinopalnikov |
Satisfiability Threshold of the Skewed Random k-SAT. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Vasco M. Manquinho, João Marques-Silva 0001 |
Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 |
Early Conflict Detection Based BCP for SAT Solving. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Carsten Sinz |
Visualizing the Internal Structure of SAT Instances (Preliminary Report) |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Steven D. Prestwich, Colin Quirke |
Local Search for Very Large SAT Problems. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Renato Bruni, Andrea Santori |
Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Ling Zhao, Martin Müller 0003 |
Game-SAT: A Preliminary Report. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Miroslav N. Velev |
Encoding Global Unobservability for Efficient Translation to SAT. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Evgeny Dantsin, Alexander Wolpert |
Derandomization of Schuler's Algorithm for SAT. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Shlomo Hoory, Stefan Szeider |
Computing Unsatisfiable k-SAT Instances with Few Occurrences per Variable. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Carsten Sinz, Wolfgang Küchlin |
Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract) |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Alex S. Fukunaga |
Efficient Implementations of SAT Local Search. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Sathiamoorthy Subbarayan, Dhiraj K. Pradhan |
NiVER: Non Increasing Variable Elimination Resolution for Preprocessing SAT instances. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Marco Benedetti, Sara Bernardini |
Incremental Compilation-to-SAT Procedures. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Hantao Zhang 0001, Dapeng Li, Haiou Shen |
A SAT Based Scheduler for Tournament Schedules. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Stefan Porschen, Ewald Speckenmeyer |
Worst Case Bounds for some NP-Complete Modified Horn-SAT Problems. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Daniel Sheridan |
The Optimality of a Fast CNF Conversion and its Use with SAT. |
SAT |
2004 |
DBLP BibTeX RDF |
|
36 | Alfredo Braunstein, Riccardo Zecchina |
Survey and Belief Propagation on Random K-SAT. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Christian Bessière, Emmanuel Hebrard, Toby Walsh |
Local Consistencies in SAT. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli |
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T). |
J. ACM |
2006 |
DBLP DOI BibTeX RDF |
SAT solvers, Satisfiability Modulo Theories |
33 | Andreas Eggers, Martin Fränzle, Christian Herde |
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Tianyan Deng, Daoyun Xu |
NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k). |
FAW |
2008 |
DBLP DOI BibTeX RDF |
PCP theorem, linear CNF formula, LSAT, minimal unsatisfiable(MU) formula, NP-completeness, reduction |
33 | Robert Nieuwenhuis, Albert Oliveras |
Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Mona Safar, M. Watheq El-Kharashi, Ashraf Salem |
FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Jordi Planes |
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Vilhelm Dahllöf, Peter Jonsson, Magnus Wahlström |
Counting Satisfying Assignments in 2-SAT and 3-SAT. |
COCOON |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Anthony Monnet, Roger Villemaire |
Scalable formula decomposition for propositional satisfiability. |
C3S2E |
2010 |
DBLP DOI BibTeX RDF |
scalability, SAT, tree decomposition, propositional satisfiability, DPLL |
32 | Olga Ohrimenko, Peter J. Stuckey, Michael Codish |
Propagation via lazy clause generation. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
Finite domain propagation, Boolean variables, SAT solver |
32 | Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes |
BenCGen: a digital circuit generation tool for benchmarks. |
SBCCI |
2008 |
DBLP DOI BibTeX RDF |
benchmarks, sat solvers, combinational equivalence checking |
32 | André Sülflow, Görschwin Fey, Roderick Bloem, Rolf Drechsler |
Using unsatisfiable cores to debug multiple design errors. |
ACM Great Lakes Symposium on VLSI |
2008 |
DBLP DOI BibTeX RDF |
sat-based debugging, unsatisfiable core, fault localization |
32 | Aristotelis Giannakos, Laurent Gourvès, Jérôme Monnot, Vangelis Th. Paschos |
On the Performance of Congestion Games for Optimum Satisfiability Problems. |
WINE |
2007 |
DBLP DOI BibTeX RDF |
non oblivious local search, max sat, approximation algorithm, price of anarchy |
32 | Weixin Wu, Michael S. Hsiao |
Mining global constraints for improving bounded sequential equivalence checking. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
multi-node constraint, SAT, mining |
32 | Andreas Bauer 0002 |
Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
formal specification, model based reasoning, system monitoring, model based diagnosis, SAT-solving |
32 | Guillermo De Ita Luna |
Polynomial Classes of Boolean Formulas for Computing the Degree of Belief. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
#SAT Problem, Updating Beliefs, Approximate Reasoning, Degree of Belief |
32 | Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov |
Exploiting structure in symmetry detection for CNF. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
abstract algebra, partition refinement, symmetry, backtrack search, graph automorphism, boolean satisfiability (SAT) |
32 | Richard Edwin Stearns |
Deterministic versus nondeterministic time and lower bound problems. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
generic problems, power index, Computational complexity, NP-completeness, time complexity, SAT, nondeterminism, generic algorithms |
32 | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
FORCE: a fast and easy-to-implement variable-ordering heuristic. |
ACM Great Lakes Symposium on VLSI |
2003 |
DBLP DOI BibTeX RDF |
partitioning, placement, SAT, BDDs, hypergraph, CNF, pre-processing, backtrack search, variable order |
32 | Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah |
Satometer: how much have we searched? |
DAC |
2002 |
DBLP DOI BibTeX RDF |
conflict diagnosis, search progress, search space coverage, SAT, BDDs, CNF, backtrack search, ZBDDs |
32 | Michael Parker, Sat Gupta, Sadia Khalil |
A Mixture Quantitative Randomized Response Model That Improves Trust in RRT Methodology. |
Axioms |
2024 |
DBLP DOI BibTeX RDF |
|
32 | Javid Shabbir, Zahida Iqbal, Sat Gupta |
On distribution function under two-phase stratified sampling using two auxiliary variables for mean estimation. |
Commun. Stat. Simul. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Maxwell Lovig, Sadia Khalil, Sumaita Rahman, Pujita Sapra, Sat Gupta |
A mixture binary RRT model with a unified measure of privacy and efficiency. |
Commun. Stat. Simul. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Mustafa Sat, Fatih Ilhan, Erman Yükseltürk |
Comparison and evaluation of augmented reality technologies for designing interactive materials. |
Educ. Inf. Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Aamir Sanaullah, Iram Saleem, Sat Gupta, Muhammad Hanif 0006 |
Mean estimation with generalized scrambling using two-phase sampling. |
Commun. Stat. Simul. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Dongbock Kim, Sat Byul Seo, NamHyun Yoo, Gisu Shin |
A Study on Sample Size Sensitivity of Factory Manufacturing Dataset for CNN-Based Defective Product Classification. |
Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Mustafa Sat, Kursat Cagiltay |
The design of educational wearable technologies with teachers: Issues, challenges, and suggestions. |
ICALT |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Deepti B. Upadhyaya, Jonathan Evans, Muddu Sekhar, Sat Kumar Tomer, Ahmad Al Bitar, Subash Yeggina, Thiyaku S, Ross Morrison, Matthew Fry, Sachchida Nand Tripathi, Milind Mujumdar, Mangesh Goswami, Naresh Ganeshi, Manish K. Nema, Sharad K. Jain, S. S. Angadi, B. S. Yenagi |
The Indian COSMOS Network (ICON): Validating L-Band Remote Sensing and Modelled Soil Moisture Data Products. |
Remote. Sens. |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Sadia Khalil, Qi Zhang, Sat Gupta |
Mean estimation of sensitive variables under measurement errors using optional RRT models. |
Commun. Stat. Simul. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Hina Khan, Sat Gupta, Habiba Farhat |
A ratio-cum-regression estimator of population mean in unequal probability sampling design. |
Commun. Stat. Simul. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
32 | K. Hari Kishore 0001, Prakash Sat, B. Kasi Raju, Venkataramani B |
Highly linear inductorless asymmetric capacitive cross-coupled wideband balun-LNAs. |
Comput. Electr. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Mehrez Zribi, Muddu Sekhar, Safa Bousbih, Ahmad Al Bitar, Sat Kumar Tomer, Nicolas N. Baghdadi, Soumya Bandyopadhyay |
Analysis of L-Band SAR Data for Soil Moisture Estimations over Agricultural Areas in the Tropics. |
Remote. Sens. |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Nick N. Maizlin, Nina P. Singh, Sat Somers |
Utilizing a Digital Multi-Language Patient Questionnaire for Diagnostic Imaging Examinations. |
J. Digit. Imaging |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Mehrez Zribi, Muddu Sekhar, Soumya Bandyopadhyay, Safa Bousbih, Ahmad Al Bitar, Sat Kumar Tomer, Nicolas N. Baghdadi |
Analysis of L Band Radar Data Over Tropical Agricultural Areas. |
IGARSS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Zaheen Khan, Javid Shabbir, Sat Gupta |
Circular versions of systematic sampling in the presence of linear trend. |
Commun. Stat. Simul. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Laurent Orgogozo, Nicolas Renon, Cyprien Soulaine, Florent Hénon, Sat Kumar Tomer, David Labat, Oleg S. Pokrovsky, Muddu Sekhar, Rachid Ababou, Michel Quintard |
An open source massively parallel solver for Richards equation: Mechanistic modelling of water fluxes at the watershed scale. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
32 | Javid Shabbir, Sat Gupta |
Estimation of finite population mean using two auxiliary variables in stratified two-phase sampling. |
Commun. Stat. Simul. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Sat Gupta, Geeta Kalucha, Javid Shabbir |
A regression estimator for finite population mean of a sensitive variable using an optional randomized response model. |
Commun. Stat. Simul. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Yunus Alkis, Zafer Kadirhan, Mustafa Sat |
Development and Validation of Social Anxiety Scale for Social Media Users. |
Comput. Hum. Behav. |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Sat Kumar Tomer, Ahmad Al Bitar, Muddu Sekhar, Mehrez Zribi, Soumya Bandyopadhyay, Yann Kerr |
MAPSM: A Spatio-Temporal Algorithm for Merging Soil Moisture from Active and Passive Microwave Remote Sensing. |
Remote. Sens. |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Sat Gupta, Javid Shabbir, Rita Sousa, Pedro Corte-Real |
Improved Exponential Type Estimators of the Mean of a Sensitive Variable in the Presence of Nonsensitive Auxiliary Information. |
Commun. Stat. Simul. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Christine Tanner, Y. Zur, Karen French, Golnoosh Samei, Jan Strehlow, G. Sat, Helen McLeod, Graeme Houston, Sebastian Kozerke, Gábor Székely, Andreas Melzer, Tobias Preußer |
In vivo validation of spatio-temporal liver motion prediction from motion tracked on MR thermometry images. |
Int. J. Comput. Assist. Radiol. Surg. |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Ali Moin, George Alexandrov, Benjamin C. Johnson, Igor I. Izyumin, Fred L. Burghardt, Kedar Shah, Sat Pannu, Elad Alon, Rikky Muller, Jan M. Rabaey |
Powering and communication for OMNI: A distributed and modular closed-loop neuromodulation device. |
EMBC |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Sat Kumar Tomer, Ahmad Al Bitar, Muddu Sekhar, Mehrez Zribi, Soumya Bandyopadhyay, K. Sreelash, Amit Kumar Sharma 0001, Samuel Corgne, Yann Kerr |
Retrieval and Multi-scale Validation of Soil Moisture from Multi-temporal SAR Data in a Semi-Arid Tropical Region. |
Remote. Sens. |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Niko E. C. Verhoest, Martinus Johannes van den Berg, Brecht Martens, Hans Lievens, Eric F. Wood, Ming Pan, Yann H. Kerr, Ahmad Al Bitar, Sat Kumar Tomer, Matthias Drusch, Hilde Vernieuwe, Bernard De Baets, Jeffrey P. Walker, Gift Dumedah, Valentijn R. N. Pauwels |
Copula-Based Downscaling of Coarse-Scale Soil Moisture Observations With Implicit Bias Correction. |
IEEE Trans. Geosci. Remote. Sens. |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Sat Gupta, Manohar Aggarwal |
Preface. |
Commun. Stat. Simul. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Jeong Sep Sihm, Sat Gupta |
A Two-stage Binary Optional Randomized Response Model. |
Commun. Stat. Simul. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Zaheen Khan, Javid Shabbir, Sat Gupta |
Generalized Systematic Sampling. |
Commun. Stat. Simul. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Laurent Orgogozo, Nicolas Renon, Cyprien Soulaine, Florent Hénon, Sat Kumar Tomer, David Labat, Oleg S. Pokrovsky, Muddu Sekhar, Rachid Ababou, Michel Quintard |
An open source massively parallel solver for Richards equation: Mechanistic modelling of water fluxes at the watershed scale. |
Comput. Phys. Commun. |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Nursel Koyuncu, Sat Gupta, Rita Sousa |
Exponential-Type Estimators of the Mean of a Sensitive Variable in the Presence of Nonsensitive Auxiliary Information. |
Commun. Stat. Simul. Comput. |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Javid Shabbir, Sat Gupta |
An Improved Generalized Difference-Cum-Ratio-Type Estimator for the Population Variance in Two-Phase Sampling Using Two Auxiliary Variables. |
Commun. Stat. Simul. Comput. |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Nur Sat |
Understanding the role of creating a share point in organizational collaboration for e-government success. |
ICEGOV |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Batu Sat |
Design and evaluation of real-time Voice-Over-IP (VOIP) systems with high perceptual conversational quality |
|
2010 |
RDF |
|
32 | Benjamin W. Wah, Batu Sat |
The Design of VoIP Systems With High Perceptual Conversational Quality. |
J. Multim. |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Batu Sat, Benjamin W. Wah |
Analyzing Voice Quality in Popular VoIP Applications. |
IEEE Multim. |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Batu Sat, Benjamin W. Wah |
Statistical Scheduling of Offline Comparative Subjective Evaluations for Real-Time Multimedia. |
IEEE Trans. Multim. |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Wee Hong Yeo, Batu Sat, Benjamin W. Wah |
New piggybacking algorithm in VoIP using enhanced G.722.2 codec with larger frames. |
MMSP |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Zixia Huang, Batu Sat, Benjamin W. Wah |
Automated learning of playout scheduling algorithms for improving perceptual conversational quality in multi-party VoIP. |
ICME |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Batu Sat, Benjamin W. Wah |
Statistical Testing of Off-line Comparative Subjective Evaluations for Optimizing Perceptual Conversational Quality in VoIP. |
ISM |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Batu Sat, Benjamin W. Wah |
Playout scheduling and loss-concealments in voip for optimizing conversational voice communication quality. |
ACM Multimedia |
2007 |
DBLP DOI BibTeX RDF |
just noticeable difference, perceptual conversational quality, multimedia communication, voice over IP |
32 | Batu Sat, Benjamin W. Wah |
Evaluation of Conversational Voice Communication Quality of the Skype, Google-Talk, Windows Live, and Yahoo Messenger Voip Systems. |
MMSP |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Batu Sat, Zixia Huang, Benjamin W. Wah |
The Design of a Multi-party VoIP Conferencing System over the Internet. |
ISM |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Batu Sat, Benjamin W. Wah |
Analysis and Evaluation of the Skype and Google-Talk Voip Systems. |
ICME |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Batu Sat, Benjamin Wan-Sang Wah |
Speech-and Network-Adaptive Layered G.729 Coder for Loss Concealments of Real-Time Voice Over IP. |
MMSP |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Batu Sat, Benjamin W. Wah |
Speech-adaptive layered G.729 coder for loss concealments of real-time voice over IP. |
ICME |
2005 |
DBLP DOI BibTeX RDF |
real-time voice over IP, speech-adaptive layered coding scheme, G.729 coder, CELP, CS-ACELP codec, Internet protocol, speech quality |
32 | Jianping Zhang, Yee-Sat Yim, Jumming Yang |
Intelligent Selection of Instances for Prediction Functions in Lazy Learning Algorithms. |
Artif. Intell. Rev. |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Bruce F. Cockburn, Y.-F. Nicole Sat |
Synthesized Transparent BIST for Detecting Scrambled Pattern-Sensitive Faults in RAMs. |
ITC |
1995 |
DBLP DOI BibTeX RDF |
|
32 | Sat Narain Gupta, A. M. Malhotra |
Blockwise error-location codes. |
Inf. Sci. |
1978 |
DBLP DOI BibTeX RDF |
|
32 | Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer |
Boosting interpolation with dynamic localized abstraction and redundancy removal. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Interpolant, abstraction, redundancy removal |
32 | Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä |
Justification-Based Local Search with Adaptive Noise Strategies. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
32 | João Marques-Silva 0001, Jordi Planes |
Algorithms for Maximum Satisfiability using Unsatisfiable Cores. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Gianpiero Cabodi, Paolo Camurati, Marco Murciano |
Automated abstraction by incremental refinement in interpolant-based model checking. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
|
|