Search results for "Conflict-driven"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	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)
47	Lintao Zhang, Sharad Malik	Conflict driven learning in a quantified Boolean Satisfiability solver.	ICCAD	2002	DBLP DOI BibTeX RDF
33	Chen Wang 0014, Sudhakar M. Reddy, Irith Pomeranz, Xijiang Lin, Janusz Rajski	Conflict driven techniques for improving deterministic test pattern generation.	ICCAD	2002	DBLP DOI BibTeX RDF
30	Zhen Chen, Boxue Yin, Dong Xiang	Conflict driven scan chain configuration for high transition fault coverage and low test power.	ASP-DAC	2009	DBLP DOI BibTeX RDF
30	Nachum Dershowitz, Ziyad Hanna, Alexander Nadel	Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver.	SAT	2007	DBLP DOI BibTeX RDF
25	Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais	A Generalized Framework for Conflict Analysis.	SAT	2008	DBLP DOI BibTeX RDF
23	John Slaney, Bruno Woltzenlogel Paleo	Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning.	J. Autom. Reason.	2018	DBLP DOI BibTeX RDF
23	John Slaney, Bruno Woltzenlogel Paleo	Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning.	J. Autom. Reason.	2018	DBLP DOI BibTeX RDF
23	John Slaney, Bruno Woltzenlogel Paleo	Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning.	CoRR	2016	DBLP BibTeX RDF
23	Sareh Zendehrouh, Shahriar Gharibzadeh, Farzad Towhidkhah	The hypothetical cost-conflict monitor: is it a possible trigger for conflict-driven control mechanisms in the human brain?	Frontiers Comput. Neurosci.	2014	DBLP DOI BibTeX RDF
22	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub	On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.	ICLP	2009	DBLP DOI BibTeX RDF
22	Gilles Audemard, Laurent Simon	Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms.	CP	2008	DBLP DOI BibTeX RDF
22	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub	clasp : A Conflict-Driven Answer Set Solver.	LPNMR	2007	DBLP DOI BibTeX RDF
14	Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell	IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning.	CoRR	2024	DBLP DOI BibTeX RDF
14	Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng 0001, Rastislav Bodík	Conflict-Driven Synthesis for Layout Engines.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
14	Hui-Ling Zhen, Naixing Wang, Junhua Huang, Xinyue Huang, Mingxuan Yuan, Yu Huang	Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG.	CoRR	2023	DBLP DOI BibTeX RDF
14	Mark Law	Conflict-Driven Inductive Logic Programming.	Theory Pract. Log. Program.	2023	DBLP DOI BibTeX RDF
14	Joaquim Ortiz de Haro, Erez Karpas, Michael Katz 0001, Marc Toussaint	A Conflict-Driven Interface Between Symbolic Planning and Nonlinear Constraint Solving.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
14	Joaquim Ortiz de Haro, Erez Karpas, Michael Katz 0001, Marc Toussaint	A Conflict-driven Interface between Symbolic Planning and Nonlinear Constraint Solving.	CoRR	2022	DBLP DOI BibTeX RDF
14	Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar	Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
14	Yun Teng, Yuefeng Shen, Hui Yang 0006, Bowen Bao, Qiuyan Yao, Lvda Wang	Conflict-Driven Intention Negotiation Based on Reinforcement Learning in Intent Defined Optical Networks.	OECC/PSC	2022	DBLP DOI BibTeX RDF
14	Marcel Steinmetz	Conflict-driven learning in AI planning state-space search.		2022	RDF
14	Jakob Witzig, Ambros M. Gleixner	Conflict-Driven Heuristics for Mixed Integer Programming.	INFORMS J. Comput.	2021	DBLP DOI BibTeX RDF
14	Mark Law	Conflict-driven Inductive Logic Programming.	CoRR	2021	DBLP BibTeX RDF
14	Jo Devriendt, Ambros M. Gleixner, Jakob Nordström	Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search.	Constraints An Int. J.	2021	DBLP DOI BibTeX RDF
14	Erika Ábrahám, James H. Davenport, Matthew England 0001, Gereon Kremer	Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings.	J. Log. Algebraic Methods Program.	2021	DBLP DOI BibTeX RDF
14	João Marques-Silva 0001, Inês Lynce, Sharad Malik	Conflict-Driven Clause Learning SAT Solvers.	Handbook of Satisfiability	2021	DBLP DOI BibTeX RDF
14	Erika Ábrahám, James H. Davenport, Matthew England 0001, Gereon Kremer	Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings.	CoRR	2020	DBLP BibTeX RDF
14	Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar	Conflict-Driven Satisfiability for Theory Combination: Transition System and Completeness.	J. Autom. Reason.	2020	DBLP DOI BibTeX RDF
14	Cheng-Chao Huang, Ming Xu 0010, Zhi-Bin Li 0005	A Conflict-Driven Solving Procedure for Poly-Power Constraints.	J. Autom. Reason.	2020	DBLP DOI BibTeX RDF
14	Muhammad Osama 0003, Anton Wijs	Multiple Decision Making in Conflict-Driven Clause Learning.	ICTAI	2020	DBLP DOI BibTeX RDF
14	Sibylle Möhle, Armin Biere	Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting.	GCAI	2019	DBLP DOI BibTeX RDF
14	Steve Dai, Zhiru Zhang	Improving Scalability of Exact Modulo Scheduling with Specialized Conflict-Driven Learning.	DAC	2019	DBLP DOI BibTeX RDF
14	Zheng Wang, Farshad Harirchi, Dhananjay M. Anand, Chee Yee Tang, James R. Moyne, Dawn M. Tilbury	Conflict-driven Hybrid Observer-based Anomaly Detection.	ACC	2018	DBLP DOI BibTeX RDF
14	Tong Shen, Xin-Yi Zhang, Gaogang Xie, Yuanmei Meng, Dafang Zhang	CoDE: Fast Name Lookup and Update using Conflict-driven Encoding.	IPCCC	2018	DBLP DOI BibTeX RDF
14	Yu Feng 0001, Ruben Martins, Osbert Bastani, Isil Dillig	Program synthesis using conflict-driven learning.	PLDI	2018	DBLP DOI BibTeX RDF
14	Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar	Proofs in conflict-driven theory combination.	CPP	2018	DBLP DOI BibTeX RDF
14	Roxane Koitz-Hristov, Franz Wotawa	On the Superiority of Conflict-Driven Search in MUS Enumeration.	DX	2018	DBLP BibTeX RDF
14		Program Synthesis using Conflict-Driven Learning.	CoRR	2017	DBLP BibTeX RDF
14	Guoqiang Xiong, Meng Jiang	Behavior Decision Model and Simulation Analysis on Collective Conflict Driven by Emotion.	ICMSS	2017	DBLP DOI BibTeX RDF
14	Jens Schloeter	A Monte Carlo Tree Search Based Conflict-Driven Clause Learning SAT Solver.	GI-Jahrestagung	2017	DBLP DOI BibTeX RDF
14	Maria Paola Bonacina	On Conflict-Driven Reasoning.	AFM@NFM	2017	DBLP DOI BibTeX RDF
14	Christoph Redl	Conflict-driven ASP Solving with External Sources and Program Splits.	IJCAI	2017	DBLP DOI BibTeX RDF
14	Teresa Alsinet, Ramón Béjar, Cèsar Fernández, Francesc Guitart, Carles Mateu	Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers.	AI Commun.	2015	DBLP DOI BibTeX RDF
14	Jia Hui (Jimmy) Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki 0001	Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.	CoRR	2015	DBLP BibTeX RDF
14	Vijay D'Silva, Caterina Urban	Conflict-Driven Conditional Termination.	CAV (2)	2015	DBLP DOI BibTeX RDF
14	Swaroop Joshi, Neelam Soundarajan, Rajiv Ramnath	Conflict-Driven Cooperative-Learning in Computing Courses (Abstract Only).	SIGCSE	2015	DBLP DOI BibTeX RDF
14	Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki 0001	Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
14	Christian Drescher	Conflict-driven constraint answer set solving.		2015	RDF
14	Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening	Deciding floating-point logic with abstract conflict driven clause learning.	Formal Methods Syst. Des.	2014	DBLP DOI BibTeX RDF
14	Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä	Conflict-Driven XOR-Clause Learning (extended version).	CoRR	2014	DBLP BibTeX RDF
14	Andrea Formisano 0001, Flavio Vella	On multiple learning schemata in conflict driven solvers.	ICTCS	2014	DBLP BibTeX RDF
14	Konstantin Korovin, Marek Kosta, Thomas Sturm 0001	Towards Conflict-Driven Learning for Virtual Substitution.	CASC	2014	DBLP DOI BibTeX RDF
14	Konstantin Korovin, Marek Kosta, Thomas Sturm 0001	Towards Conflict-Driven Learning for Virtual Substitution.	SMT	2014	DBLP BibTeX RDF
14	Ramón Béjar, Cèsar Fernández, Carles Mateu, Francesc Guitart	Solving Routing and Wavelength Assignment Problem with Conflict-Driven ASP Solvers.	CCIA	2013	DBLP DOI BibTeX RDF
14	Vijay Victor D'Silva, Leopold Haller, Daniel Kroening	Abstract conflict driven learning.	POPL	2013	DBLP DOI BibTeX RDF
14	Martin Gebser, Benjamin Kaufmann, Torsten Schaub	Advanced Conflict-Driven Disjunctive Answer Set Solving.	IJCAI	2013	DBLP BibTeX RDF
14	Martin Gebser, Benjamin Kaufmann, Torsten Schaub	Conflict-driven answer set solving: From theory to practice.	Artif. Intell.	2012	DBLP DOI BibTeX RDF
14	Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl	Conflict-driven ASP Solving with External Sources	CoRR	2012	DBLP BibTeX RDF
14	Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl	Conflict-driven ASP solving with external sources.	Theory Pract. Log. Program.	2012	DBLP DOI BibTeX RDF
14	Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä	Conflict-Driven XOR-Clause Learning.	SAT	2012	DBLP DOI BibTeX RDF
14	Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig	Numeric Bounds Analysis with Conflict-Driven Learning.	TACAS	2012	DBLP DOI BibTeX RDF
14	Tobias Egner	Right Ventrolateral Prefrontal Cortex Mediates Individual Differences in Conflict-driven Cognitive Control.	J. Cogn. Neurosci.	2011	DBLP DOI BibTeX RDF
14	Christian Drescher, Toby Walsh	Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation.	AAAI	2011	DBLP DOI BibTeX RDF
14	Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais	Integrating Conflict Driven Clause Learning to Local Search	LSCS	2009	DBLP DOI BibTeX RDF
14	João Marques-Silva 0001, Inês Lynce, Sharad Malik	Conflict-Driven Clause Learning SAT Solvers.	Handbook of Satisfiability	2009	DBLP DOI BibTeX RDF
14	Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor	A Simple Distributed Conflict-Driven Answer Set Solver.	LPNMR	2009	DBLP DOI BibTeX RDF
14	Martin Gebser, Benjamin Kaufmann, Torsten Schaub	The Conflict-Driven Answer Set Solver clasp: Progress Report.	LPNMR	2009	DBLP DOI BibTeX RDF
14	Zhen Chen, Dong Xiang, Boxue Yin	The ATPG Conflict-Driven Scheme for High Transition Fault Coverage and Low Test Cost.	VTS	2009	DBLP DOI BibTeX RDF
14	Armin Biere	Adaptive Restart Strategies for Conflict Driven SAT Solvers.	SAT	2008	DBLP DOI BibTeX RDF
14	Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub	Conflict-Driven Disjunctive Answer Set Solving.	KR	2008	DBLP BibTeX RDF
14	Surendra Bommu, Kameshwar Chandrasekar, Rahul Kundu, Sanjay Sengupta	CONCAT: CONflict Driven Learning in ATPG for Industrial designs.	ITC	2008	DBLP DOI BibTeX RDF
14	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub	Conflict-Driven Answer Set Enumeration.	LPNMR	2007	DBLP DOI BibTeX RDF
14	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub	Conflict-Driven Answer Set Solving.	IJCAI	2007	DBLP BibTeX RDF
14	Martin Stáva, Ondrej Novák	HW Implementation of the Backtrace Algorithm with Conflict-Driven Dynamic Reconfiguration.	DDECS	2006	DBLP DOI BibTeX RDF
14	Kaye Stacey, Liz Sonenberg, Ann E. Nicholson, Tal Boneh, Vicki Steinle	A Teaching Model Exploiting Cognitive Conflict Driven by a Bayesian Network.	User Modeling	2003	DBLP DOI BibTeX RDF
14	Lintao Zhang, Conor F. Madigan, Matthew W. Moskewicz, Sharad Malik	Efficient Conflict Driven Learning in Boolean Satisfiability Solver.	ICCAD	2001	DBLP DOI BibTeX RDF
14	Axel Mönkeberg, Gerhard Weikum	Conflict-driven Load Control for the Avoidance of Data-Contention Thrashing.	ICDE	1991	DBLP DOI BibTeX RDF
14	Martin Gebser, Max Ostrowski, Torsten Schaub	Constraint Answer Set Solving.	ICLP	2009	DBLP DOI BibTeX RDF
14	Shujun Deng, Jinian Bian, Weimin Wu, Xiaoqing Yang, Yanni Zhao	EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure.	DAC	2007	DBLP DOI BibTeX RDF
14	Tobias Schubert 0001, Bernd Becker 0001	Lemma Exchange in a Microcontroller Based Parallel SAT Solver.	ISVLSI	2005	DBLP DOI BibTeX RDF
14	Tobias Schubert 0001, Bernd Becker 0001	Parallel SAT Solving with Microcontrollers.	AACC	2004	DBLP DOI BibTeX RDF
14	Lintao Zhang, Sharad Malik	Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation.	CP	2002	DBLP DOI BibTeX RDF
11	Bin Li, Michael S. Hsiao, Shuo Sheng	A Novel SAT All-Solutions Solver for Efficient Preimage Computation.	DATE	2004	DBLP DOI BibTeX RDF
8	Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang	BooM: a decision procedure for boolean matching with abstraction and dynamic learning.	DAC	2010	DBLP DOI BibTeX RDF	satisfiability solving, learning, abstraction, Boolean matching
8	Chi-An Wu, Ting-Hao Lin, Shao-Lun Huang, Chung-Yang Huang	SAT-controlled redundancy addition and removal: a novel circuit restructuring technique.	ASP-DAC	2009	DBLP DOI BibTeX RDF
8	Eugene Goldberg	Boundary Points and Resolution.	SAT	2009	DBLP DOI BibTeX RDF	proof quality, resolution, SAT-solver, boundary points
8	Shai Haim, Toby Walsh	Restart Strategy Selection Using Machine Learning Techniques.	SAT	2009	DBLP DOI BibTeX RDF
8	Oliver Kullmann	Present and Future of Practical SAT Solving.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
8	Yinlei Yu, Cameron Brien, Sharad Malik	Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers.	VLSI Design	2008	DBLP DOI BibTeX RDF
8	Brian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christoforos E. Kozyrakis, Kunle Olukotun	The Atomos transactional programming language.	PLDI	2006	DBLP DOI BibTeX RDF	conditional synchronization, java, transactional memory, multiprocessor architecture
8	Daijue Tang, Sharad Malik	Solving Quantified Boolean Formulas with Circuit Observability Don't Cares.	SAT	2006	DBLP DOI BibTeX RDF
8	Yinlei Yu, Sharad Malik	Lemma Learning in SMT on Linear Constraints.	SAT	2006	DBLP DOI BibTeX RDF
8	Mukul R. Prasad, Armin Biere, Aarti Gupta	A survey of recent advances in SAT-based formal verification.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Model checking, Verification, ATPG, SAT, QBF
8	Niklas Eén, Niklas Sörensson	An Extensible SAT-solver.	SAT	2003	DBLP DOI BibTeX RDF