Search results for "SAT"

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