Search results for "SAT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Joel Friedman, Andreas Goerdt	Recognizing More Unsatisfiable Random 3-SAT Instances Efficiently.	ICALP	2001	DBLP DOI BibTeX RDF
36	Viresh Paruthi, Andreas Kuehlmann	Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation.	ICCD	2000	DBLP DOI BibTeX RDF
36	Aarti Gupta, Zijiang Yang 0006, Pranav Ashar, Anubhav Gupta 0001	SAT-Based Image Computation with Application in Reachability Analysis.	FMCAD	2000	DBLP DOI BibTeX RDF
36	Roberto Sebastiani, Adolfo Villafiorita	SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework.	AIMSA	1998	DBLP DOI BibTeX RDF
36	Zenon Sadowski	On an Optimal Deterministic Algorithm for SAT.	CSL	1998	DBLP DOI BibTeX RDF
36	Matti Järvisalo, Daniel Le Berre (eds.)	Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023.	POS@SAT	2023	DBLP BibTeX RDF
36	Tobias Paxian, Armin Biere	Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging.	POS@SAT	2023	DBLP BibTeX RDF
36	Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis	Prioritised Unit Propagation by Partitioning the Watch Lists.	POS@SAT	2023	DBLP BibTeX RDF
36	Daniel Le Berre, Matti Järvisalo (eds.)	Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018.	POS@SAT	2019	DBLP BibTeX RDF
36	Adrián Rebola-Pardo, Armin Biere	Two flavors of DRAT.	POS@SAT	2018	DBLP DOI BibTeX RDF
36	Norbert Manthey, Tobias Philipp	Checking Unsatisfiability Proofs in Parallel.	POS@SAT	2018	DBLP DOI BibTeX RDF
36	Anastasia-Maria Leventi-Peetz, Oliver Zendel 0002, Werner Lennartz, Kai Weber 0003	CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances.	POS@SAT	2018	DBLP DOI BibTeX RDF
36	Jeremias Berg, Antti Hyttinen, Matti Järvisalo	Applications of MaxSAT in Data Analysis.	POS@SAT	2018	DBLP DOI BibTeX RDF
36	Armin Biere, Andreas Fröhlich	Evaluating CDCL Restart Schemes.	POS@SAT	2018	DBLP DOI BibTeX RDF
36	Armin Biere, Marijn Heule	The Effect of Scrambling CNFs.	POS@SAT	2018	DBLP DOI BibTeX RDF
36	Daniel Le Berre (eds.)	POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland	POS@SAT	2014	DBLP BibTeX RDF
36	Daniel Le Berre (eds.)	POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria	POS@SAT	2014	DBLP BibTeX RDF
36	Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke	Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers.	POS@SAT	2014	DBLP DOI BibTeX RDF
36	Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith	iDQ: Instantiation-Based DQBF Solving.	POS@SAT	2014	DBLP DOI BibTeX RDF
36	Enrique Matos Alfonso, Norbert Manthey	New CNF Features and Formula Classification.	POS@SAT	2014	DBLP DOI BibTeX RDF
36	Zoltán Ádám Mann, Pál András Papp	Formula partitioning revisited.	POS@SAT	2014	DBLP DOI BibTeX RDF
36	Adrian Balint, Norbert Manthey	Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning.	POS@SAT	2013	DBLP DOI BibTeX RDF
36	Adrian Kügel	Improved Exact Solver for the Weighted MAX-SAT Problem.	POS@SAT	2010	DBLP DOI BibTeX RDF
36	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy	On Solving MaxSAT Through SAT.	POS@SAT	2010	DBLP DOI BibTeX RDF
36	Norbert Manthey, Ari Saptawijaya	Towards Improving the Resource Usage of SAT-solvers.	POS@SAT	2010	DBLP DOI BibTeX RDF
36	Mate Soos	Enhanced Gaussian Elimination in DPLL-based SAT Solvers.	POS@SAT	2010	DBLP DOI BibTeX RDF
36	Martin Gogolla	Towards Model Validation and Verification with SAT Techniques.	Algorithms and Applications for Next Generation SAT Solvers	2009	DBLP BibTeX RDF
36	Bernd Becker 0001, Valeria Bertacco, Rolf Drechsler, Masahiro Fujita	09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers.	Algorithms and Applications for Next Generation SAT Solvers	2009	DBLP BibTeX RDF
36	Robert Wille, Jean Christoph Jung, André Sülflow, Rolf Drechsler	SWORD - Module-based SAT Solving.	Algorithms and Applications for Next Generation SAT Solvers	2009	DBLP 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
33	Anthony Monnet, Roger Villemaire	Scalable formula decomposition for propositional satisfiability.	C3S2E	2010	DBLP DOI BibTeX RDF	scalability, SAT, tree decomposition, propositional satisfiability, DPLL
33	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
33	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
33	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
33	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
33	Marijn Heule, Hans van Maaren	From Idempotent Generalized Boolean Assignments to Multi-bit Search.	SAT	2007	DBLP DOI BibTeX RDF
33	Juan Antonio Navarro Pérez, Andrei Voronkov	Encodings of Problems in Effectively Propositional Logic.	SAT	2007	DBLP DOI BibTeX RDF
33	Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich	Solving Multi-objective Pseudo-Boolean Problems.	SAT	2007	DBLP DOI BibTeX RDF
33	Knot Pipatsrisawat, Adnan Darwiche	A Lightweight Component Caching Scheme for Satisfiability Solvers.	SAT	2007	DBLP DOI BibTeX RDF
33	Carla P. Gomes, Jörg Hoffmann 0001, Ashish Sabharwal, Bart Selman	Short XORs for Model Counting: From Theory to Practice.	SAT	2007	DBLP DOI BibTeX RDF
33	Eugene Goldberg	Determinization of Resolution by an Algorithm Operating on Complete Assignments.	SAT	2006	DBLP DOI BibTeX RDF
33	Oliver Kullmann, Inês Lynce, João Marques-Silva 0001	Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel.	SAT	2006	DBLP DOI BibTeX RDF
33	Steven D. Prestwich, Inês Lynce	Local Search for Unsatisfiability.	SAT	2006	DBLP DOI BibTeX RDF
33	Andrei A. Bulatov, Evgeny S. Skvortsov	Efficiency of Local Search.	SAT	2006	DBLP DOI BibTeX RDF
33	Panagiotis Manolios, Yimin Zhang	Implementing Survey Propagation on Graphics Processing Units.	SAT	2006	DBLP DOI BibTeX RDF
33	Vasco M. Manquinho, João Marques-Silva 0001	On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization.	SAT	2005	DBLP DOI BibTeX RDF
33	Sakari Seitz, Mikko Alava, Pekka Orponen	Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability.	SAT	2005	DBLP DOI BibTeX RDF
33	Uwe Bubeck, Hans Kleine Büning, Xishun Zhao	Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.	SAT	2005	DBLP DOI BibTeX RDF
33	Anton Belov, Zbigniew Stachniak	Substitutional Definition of Satisfiability in Classical Propositional Logic.	SAT	2005	DBLP DOI BibTeX RDF
33	Mark H. Liffiton, Karem A. Sakallah	On Finding All Minimally Unsatisfiable Subformulas.	SAT	2005	DBLP DOI BibTeX RDF
33	Tian Sang, Paul Beame, Henry A. Kautz	Heuristics for Fast Exact Model Counting.	SAT	2005	DBLP DOI BibTeX RDF
33	Steven D. Prestwich	Random Walk with Continuously Smoothed Variable Weights.	SAT	2005	DBLP DOI BibTeX RDF
33	Gilles Audemard, Lakhdar Sais	A Symbolic Search Based Approach for Quantified Boolean Formulas.	SAT	2005	DBLP DOI BibTeX RDF	Satisfiability, Binary decision diagram, Quantified boolean formula
33	Stefan Porschen, Bert Randerath, Ewald Speckenmeyer	Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems.	SAT	2003	DBLP DOI BibTeX RDF
33	Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski	Satisfiability and Computing van der Waerden Numbers.	SAT	2003	DBLP DOI BibTeX RDF
33	Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella	Watched Data Structures for QBF Solvers.	SAT	2003	DBLP DOI BibTeX RDF
33	Maher N. Mneimneh, Karem A. Sakallah	Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution.	SAT	2003	DBLP DOI BibTeX RDF
33	Ashish Sabharwal, Paul Beame, Henry A. Kautz	Using Problem Structure for Efficient Clause Learning.	SAT	2003	DBLP DOI BibTeX RDF
33	Marc Herbstritt, Bernd Becker 0001	Conflict-Based Selection of Branching Rules.	SAT	2003	DBLP DOI BibTeX RDF
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	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	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