Search results for "SAT solver"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda	Implementing an action language using a SAT solver.	ICTAI	2000	DBLP DOI BibTeX RDF	planning algorithms, plan search space, planning graph, SAT planning, AMP, domain description, Java, Java, data structures, data structure, planning (artificial intelligence), computability, inference mechanisms, satisfiability problem, SAT solver, reasoning about action, model generation, action language
2	Jingchao Chen	Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques.	SAT	2009	DBLP DOI BibTeX RDF	Conflict-driven, XOR reasoning, Hybrid solving technique, search pruning technique, Look-ahead, Boolean satisfiability (SAT)
2	Kei Ohmura, Kazunori Ueda	c-sat: A Parallel SAT Solver for Clusters.	SAT	2009	DBLP DOI BibTeX RDF
2	Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Dong Zhu	Using a SAT solver to generate checking sequences.	ISCIS	2009	DBLP DOI BibTeX RDF
2	Eugene Goldberg	Boundary Points and Resolution.	SAT	2009	DBLP DOI BibTeX RDF	proof quality, resolution, SAT-solver, boundary points
2	Olga Ohrimenko, Peter J. Stuckey, Michael Codish	Propagation via lazy clause generation.	Constraints	2009	DBLP DOI BibTeX RDF	Finite domain propagation, Boolean variables, SAT solver
2	Graham Hughes, Tevfik Bultan	Automated verification of access control policies using a SAT solver.	STTT	2008	DBLP DOI BibTeX RDF	Access control, Automated verification
2	Armin Biere, Robert Brummayer	Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver.	FMCAD	2008	DBLP DOI BibTeX RDF
2	Xiuqin Wang, Hao Wang, Guangsheng Ma	Hybrid SAT Solver Considering Circuit Observability.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem	Hardware based algorithm for conflict diagnosis in SAT solver.	AICCSA	2008	DBLP DOI BibTeX RDF
2	John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang	A practical reconfigurable hardware accelerator for Boolean satisfiability solvers.	DAC	2008	DBLP DOI BibTeX RDF	BCP, FPGA, reconfigurable, SAT solver, co-processor
2	Murthy Palla, Jens Bargfrede, Klaus Koch, Walter Anheier, Rolf Drechsler	Adaptive Branch and Bound Using SAT to Estimate False Crosstalk.	ISQED	2008	DBLP DOI BibTeX RDF	Crosstalk Analysis, False Noise, STA, SAT Solver
2	Blandine Debraize, Louis Goubin	Guess-and-Determine Algebraic Attack on the Self-Shrinking Generator.	FSE	2008	DBLP DOI BibTeX RDF	guess-and-determine attacks, stream cipher, SAT solver, algebraic cryptanalysis, self-shrinking generator, multivariate quadratic equations
2	Tobias Eibach, Enrico Pilz, Gunnar Völkel	Attacking Bivium Using SAT Solvers.	SAT	2008	DBLP DOI BibTeX RDF	Rsat, Bivium, Gröbner Base, Cryptography, Application, Stream Cipher, BDD, SAT Solver, eSTREAM, Trivium
2	Federico Heras, Javier Larrosa, Albert Oliveras	MiniMaxSat: A New Weighted Max-SAT Solver.	SAT	2007	DBLP DOI BibTeX RDF
2	Lei Fang, Michael S. Hsiao	A new hybrid solution to boost SAT solver performance.	DATE	2007	DBLP DOI BibTeX RDF
2	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
2	Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem	Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver.	DATE	2007	DBLP DOI BibTeX RDF
2	Shinya Hiramoto, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima	A Hardware SAT Solver Using Non-chronological Backtracking and Clause Recording Without Overheads.	ARC	2007	DBLP DOI BibTeX RDF
2	James R. Ezick, Samuel B. Luckenbill, Donald Nguyen, Peter Szilagyi, John Starks, Richard A. Lethin	Poster reception - Alef parallel SAT solver for HPC hardware.	SC	2006	DBLP DOI BibTeX RDF
2	Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr.	A fast SAT solver algorithm best suited to reconfigurable hardware.	SBCCI	2006	DBLP DOI BibTeX RDF	formal verification, SAT, CNF, DPLL
2	Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr.	A Fast SAT Solver Strategy Based on Negated Clauses.	VLSI-SoC	2006	DBLP DOI BibTeX RDF
2	Mona Safar, M. Watheq El-Kharashi, Ashraf Salem	FPGA-Based SAT Solver.	CCECE	2006	DBLP DOI BibTeX RDF
2	Rafiq Muhammad, Peter J. Stuckey	A Stochastic Non-CNF SAT Solver.	PRICAI	2006	DBLP DOI BibTeX RDF
2	Feng Lu, Madhu K. Iyer, Ganapathy Parthasarathy, Li-C. Wang, Kwang-Ting Cheng, Kuang-Chien Chen	An Efficient Sequential SAT Solver With Improved Search Strategies.	DATE	2005	DBLP DOI BibTeX RDF
2	Tobias Schubert, Matthew D. T. Lewis, Bernd Becker	PaMira - A Parallel SAT Solver with Knowledge Sharing.	MTV	2005	DBLP DOI BibTeX RDF
2	Roman Gershman, Ofer Strichman	HaifaSat: A New Robust SAT Solver.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
2	Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik	Zchaff2004: An Efficient SAT Solver.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
2	Jinwen Xi, Peixin Zhong	Hardware/Software Co-Modeling of SAT Solver Based on Distributed Computing Elements using SystemC.	ICCD	2004	DBLP DOI BibTeX RDF
2	Niklas Eén, Niklas Sörensson	An Extensible SAT-solver.	SAT	2003	DBLP DOI BibTeX RDF
2	Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez	A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation.	SAT	2003	DBLP DOI BibTeX RDF
2	Renato Bruni	Solving Error Correction for Large Data Sets by Means of a SAT Solver.	SAT	2003	DBLP DOI BibTeX RDF
2	Feng Lu, Li-C. Wang, Kwang-Ting Cheng, Ric C.-Y. Huang	A Circuit SAT Solver With Signal Correlation Guided Learning.	DATE	2003	DBLP DOI BibTeX RDF
2	Amol Dattatraya Mali, Yevgeny Lipen	MFSAT: A SAT Solver Using Multi-Flip Local Search.	ICTAI	2003	DBLP DOI BibTeX RDF
2	Enrico Giunchiglia, Marco Maratea, Armando Tacchella	(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.	CP	2003	DBLP DOI BibTeX RDF
2	Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao Zhang, Sharad Malik	Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver.	DAC	2002	DBLP DOI BibTeX RDF	boolean constraint propagation (BCP), bounded model checking (BMC), conjunctive normal form (CNF), boolean satisfiability (SAT)
2	N. A. Reis, José T. de Sousa	On Implementing a Configware/Software SAT Solver.	FCCM	2002	DBLP DOI BibTeX RDF
2	Evguenii I. Goldberg, Yakov Novikov	BerkMin: A Fast and Robust Sat-Solver.	DATE	2002	DBLP DOI BibTeX RDF
2	Mark Iwen, Amol Dattatraya Mali	DSatz: A Directional SAT Solver for Planning.	ICTAI	2002	DBLP DOI BibTeX RDF
2	Mary Sheeran, Satnam Singh, Gunnar Stålmarck	Checking Safety Properties Using Induction and a SAT-Solver.	FMCAD	2000	DBLP DOI BibTeX RDF
2	Viresh Paruthi, Andreas Kuehlmann	Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation. (PDF / PS)	ICCD	2000	DBLP DOI BibTeX RDF
2	Pak K. Chan, Mark J. Boyd, Sezer Gören, K. Klenk, V. Kodavati, R. Kundu, M. Margolese, J. Sun, K. Suzuki, E. Thorne, X. Wang, J. Xu, M. Zhu	Reducing Compilation Time of Zhong's FPGA-Based SAT Solver.	FCCM	1999	DBLP DOI BibTeX RDF
1	Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa	QMaxSAT: A Partial Max-SAT Solver.	JSAT	2012	DBLP BibTeX RDF
1	Andrei Horbach, Thomas Bartsch, Dirk Briskorn	Using a SAT-solver to schedule sports leagues.	J. Scheduling	2012	DBLP DOI BibTeX RDF
1	Duckki Oe, Aaron Stump, Corey Oliver, Kevin Clancy	versat: A Verified Modern SAT Solver.	VMCAI	2012	DBLP DOI BibTeX RDF
1	Nachum Dershowitz, Alexander Nadel	From Total Assignment Enumeration to Modern SAT Solver	CoRR	2011	DBLP BibTeX RDF
1	Arup Kumar Ghosh	Speeding up SAT solver by exploring CNF symmetries : Revisited	CoRR	2011	DBLP BibTeX RDF
1	Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem	A reconfigurable, pipelined, conflict directed jumping search SAT solver.	DATE	2011	DBLP BibTeX RDF
1	Long Guo, Jean-Marie Lagniez	Dynamic Polarity Adjustment in a Parallel SAT Solver.	ICTAI	2011	DBLP DOI BibTeX RDF
1	François Hantry, Mohand-Said Hacid, Romuald Thion	Detection of Conflicting Compliance Rules.	EDOCW	2011	DBLP DOI BibTeX RDF	unsatisfiable core, temporal logic, conflict, compliance, SMT, SAT solver
1	Filip Maric	Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Uwe Egly, Leopold Haller	A SAT Solver for Circuits Based on the Tableau Method.	KI	2010	DBLP DOI BibTeX RDF
1	Hans-Jörg Kreowski, Sabine Kuske, Robert Wille	Graph Transformation Units Guided by a SAT Solver.	ICGT	2010	DBLP DOI BibTeX RDF
1	Quirin Meyer, Fabian Schonfeld, Marc Stamminger, Rolf Wanka	3-SAT on CUDA: Towards a massively parallel SAT solver.	HPCS	2010	DBLP DOI BibTeX RDF
1	Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier	RegSTAB: A SAT Solver for Propositional Schemata.	IJCAR	2010	DBLP DOI BibTeX RDF
1	Bernardo C. Vieira, Fabrício Vivas Andrade, Antônio Otávio Fernandes	A modular CNF-based SAT solver.	SBCCI	2010	DBLP DOI BibTeX RDF
1	Siddhartha Jain, Eoin O'Mahony, Meinolf Sellmann	A Complete Multi-valued SAT Solver.	CP	2010	DBLP DOI BibTeX RDF
1	Oliver Trachsel, Thomas R. Gross	Variant-based competitive parallel execution of sequential programs.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	algorithmic choice, multi-variant execution, speculative execution, multi-core processors, sequential programs, adaptive execution
1	Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias	Analysis of invariants for efficient bounded verification.	ISSTA	2010	DBLP DOI BibTeX RDF	dynalloy, kodkod, sat-based code analysis, static analysis, alloy
1	Emina Torlak, Mandana Vaziri, Julian Dolby	MemSAT: checking axiomatic specifications of memory models.	PLDI	2010	DBLP DOI BibTeX RDF	sat, bounded model checking, memory models, axiomatic specifications
1	Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine	Structuring the verification of heap-manipulating programs.	POPL	2010	DBLP DOI BibTeX RDF	type theory, monads, hoare logic, separation logic
1	Youssef Hamadi, Saïd Jabbour, Lakhdar Sais	ManySAT: a Parallel SAT Solver.	JSAT	2009	DBLP BibTeX RDF
1	Roman Gershman, Ofer Strichman	HaifaSat: a SAT solver based on an Abstraction/Refinement model.	JSAT	2009	DBLP BibTeX RDF
1	Armin Heller	A Fast SAT Solver for Isabelle in Standard ML.	Archive of Formal Proofs	2009	DBLP BibTeX RDF
1	Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem	A Reconfigurable Five-Stage Pipelined SAT Solver.	MTV	2009	DBLP DOI BibTeX RDF
1	Weinan Zhao, Weimin Wu	ASIG: An all-solution SAT solver for CNF formulas.	CAD/Graphics	2009	DBLP DOI BibTeX RDF
1	Himanshu Jain, Edmund M. Clarke	Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts.	DAC	2009	DBLP DOI BibTeX RDF	NNF, verification, Boolean satisfiability, DPLL
1	Shihheng Tsai, Chung-Yang Huang	A false-path aware formal static timing analyzer considering simultaneous input transitions.	DAC	2009	DBLP DOI BibTeX RDF	critical path selection, multiple input transitioning, formal method, static timing analysis, false path
1	Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Stephen Jang	Scalable don't-care-based logic optimization and resynthesis.	FPGA	2009	DBLP DOI BibTeX RDF	fpga, interpolation, windowing, technology mapping, boolean satisfiability, logic optimization
1	Yung-Chih Chen, Chun-Yao Wang	Enhancing SAT-based sequential depth computation by pruning search space.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	sequential depth, satisfiability(sat)
1	James Newsome, Stephen McCamant, Dawn Song	Measuring channel capacity to distinguish undue influence.	PLAS	2009	DBLP DOI BibTeX RDF	model counting, quantitative information flow, channel capacity
1	Kazuhiro Minami, Nikita Borisov, Carl A. Gunter	Safety in discretionary access control for logic-based publish-subscribe systems.	SACMAT	2009	DBLP DOI BibTeX RDF	access control, safety, inference control, publish-subscribe system, logical language
1	Yakir Vizel, Orna Grumberg	Interpolation-sequence based model checking.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Miroslav N. Velev, Ping Gao 0002	Efficient SAT-based techniques for Design of Experiments by using static variable ordering.	ISQED	2009	DBLP DOI BibTeX RDF
1	Alejandro Czutro, Ilia Polian, Matthew D. T. Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker	TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis.	VLSI Design	2009	DBLP DOI BibTeX RDF
1	Enrico Giunchiglia, Marco Maratea	Improving Plan Quality in SAT-Based Planning.	AI*IA	2009	DBLP DOI BibTeX RDF
1	Daniel Le Berre, Pierre Marquis, Meltem Öztürk	Aggregating Interval Orders by Propositional Optimization.	ADT	2009	DBLP DOI BibTeX RDF	preference modelling and aggregation, propositional reasoning, Boolean optimization, Interval orders
1	Avi Yadgar, Orna Grumberg, Assaf Schuster	Hybrid BDD and All-SAT Method for Model Checking.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
1	David Monniaux	On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure.	CAV	2009	DBLP DOI BibTeX RDF
1	Thibaut Feydy, Peter J. Stuckey	Lazy Clause Generation Reengineered.	CP	2009	DBLP DOI BibTeX RDF
1	Emad Saad	Probabilistic Reasoning by SAT Solvers.	ECSQARU	2009	DBLP DOI BibTeX RDF
1	Bernd Steinbach, Christian Posthoff	Complete Sets of Hamiltonian Circuits for Classification of Documents.	EUROCAST	2009	DBLP DOI BibTeX RDF
1	Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro	A Metric Encoding for Bounded Model Checking.	FM	2009	DBLP DOI BibTeX RDF	Bounded model checking, metric temporal logic
1	Stéphane Lescuyer, Sylvain Conchon	Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme.	FroCos	2009	DBLP DOI BibTeX RDF
1	Hankui Zhuo, Qiang Yang, Lei Li	Constraint-Based Case-Based Planning Using Weighted MAX-SAT.	ICCBR	2009	DBLP DOI BibTeX RDF
1	Junaid Haroon Siddiqui, Sarfraz Khurshid	An Empirical Study of Structural Constraint Solving Techniques.	ICFEM	2009	DBLP DOI BibTeX RDF	model checking, SAT, symbolic execution, state space exploration, systematic testing, Empirical comparison, software testing tools
1	Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev	Computing Stable Models via Reductions to Difference Logic.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy	Solving (Weighted) Partial MaxSAT through Satisfiability Testing.	SAT	2009	DBLP DOI BibTeX RDF
1	Adrian Balint, Michael Henn, Oliver Gableske	A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem.	SAT	2009	DBLP DOI BibTeX RDF
1	Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller	Finding Lean Induced Cycles in Binary Hypercubes.	SAT	2009	DBLP DOI BibTeX RDF
1	HyoJung Han, Fabio Somenzi	On-the-Fly Clause Improvement.	SAT	2009	DBLP DOI BibTeX RDF
1	Marko Samer, Helmut Veith	Encoding Treewidth into SAT.	SAT	2009	DBLP DOI BibTeX RDF
1	Mate Soos, Karsten Nohl, Claude Castelluccia	Extending SAT Solvers to Cryptographic Problems.	SAT	2009	DBLP DOI BibTeX RDF
1	Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith	Query-Driven Program Testing.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Ashish Sabharwal	SymChaff: exploiting symmetry in a structure-aware satisfiability solver.	Constraints	2009	DBLP DOI BibTeX RDF	SymChaff, Complete multi-class symmetry, Global symmetry, High-level representation, Planning, SAT, Boolean satisfiability
1	Filip Maric	Formalization and Implementation of Modern SAT Solvers.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Algorithms, Data structures, Software verification, DPLL, SAT solving
1	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady	An abstraction-based decision procedure for bit-vector arithmetic.	STTT	2009	DBLP DOI BibTeX RDF	Decision-procedures, Bit-vector
1	Matthias P. Krieger, Alexander Knapp	Executing Underspecified OCL Operation Contracts with a SAT Solver.	ECEASST	2008	DBLP BibTeX RDF
1	Eugene Goldberg	A Resolution Based SAT-solver Operating on Complete Assignments.	JSAT	2008	DBLP BibTeX RDF
1	Ivor Spence	tts: A SAT-Solver for Small, Difficult Instances.	JSAT	2008	DBLP BibTeX RDF