Search results for "3-SAT"

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