|
|
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 | 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 |
|
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 | Armin Biere |
Resolve and Expand. |
SAT (Selected Papers |
2004 |
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 |
|
31 | 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 |
31 | 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 |
31 | 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 |
31 | 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 |
31 | 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 |
31 | 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 |
31 | 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 | 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 | 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 | 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 | 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 |
|
|
|