The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Refutation with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1971-1982 (15) 1984-1988 (17) 1989-1992 (18) 1993-1995 (16) 1996-1999 (22) 2000-2001 (15) 2002-2003 (29) 2004-2005 (28) 2006 (17) 2007 (20) 2008-2009 (25) 2010-2013 (18) 2014-2015 (16) 2016-2017 (15) 2018-2020 (20) 2021-2022 (19) 2023 (19) 2024 (2)
Publication types (Num. hits)
article(115) incollection(3) inproceedings(211) phdthesis(2)
Venues (Conferences, Journals, ...)
CoRR(26) CADE(16) SAT(13) CSL(8) FOCS(6) ATVA(5) J. ACM(5) J. Autom. Reason.(5) TABLEAUX(5) ALT(4) CP(4) Electron. Colloquium Comput. C...(4) JELIA(4) Logica Universalis(4) STOC(4) ACM Trans. Comput. Log.(3) More (+10 of total 175)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 107 occurrences of 79 keywords

Results
Found 331 publication records. Showing 331 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
75K. Subramani 0001 Optimal Length Resolution Refutations of Difference Constraint Systems. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Difference constraint systems, Resolution refutation, Optimal length, Minimum unsatisfiable subset, Fourier-Motzkin elimination
63Ahti-Veikko Pietarinen What Your Computer Still Can't Know: A Refutation of Bringsjord's Refutation of Searle's Refutation of Bostrom and Floridi. Search on Bibsonomy Robophilosophy/TRANSOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
62Jakob Nordström Narrow proofs may be spacious: separating space and width in resolution. Search on Bibsonomy STOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pebbling contradiction, lower bound, resolution, space, separation, proof complexity, width, pebble game
62Norbert Eisinger What You Always Wanted to Know About Clause Graph Resolution. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF Clause Graphs, Completeness, Strategies, Resolution, Confluence, Connection Graphs
58Olivier Delande, Dale Miller 0001 A Neutral Approach to Proof and Refutation in MALL. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF neutral approach, linear logic, game semantics
58K. Subramani 0001 On Determining the Minimum Length, Tree-Like Resolution Refutation of 2SAT, and Extended 2SAT Formulas. Search on Bibsonomy ASIAN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
58François Bry, Sunna Torge 0001 A Deduction Method Complete for Refutation and Finite Satisfiability. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
50Wei Li 0022 An Inductive Inference System and Its Rationality. Search on Bibsonomy AISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF inference, induction, Belief, rationality, refutation
50Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi Homogenization and the polynomial calculus. Search on Bibsonomy Comput. Complex. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000). 68Q17
50Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi Homogenization and the Polynominal Calculus. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
50Lawrence J. Henschen, Larry Wos Unit Refutations and Horn Sets. Search on Bibsonomy J. ACM The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
46Arie Gurfinkel, Ou Wei, Marsha Chechik Yasm: A Software Model-Checker for Verification and Refutation. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
46ShengYu Shen, Ying Qin, Sikun Li A Faster Counterexample Minimization Algorithm Based on Refutation Analysis. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46ShengYu Shen, Ying Qin, Sikun Li A fast counterexample minimization approach with refutation analysis and incremental SAT. Search on Bibsonomy ASP-DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46In-Hee Lee, Ji-Yoon Park, Young-Gyu Chai, Byoung-Tak Zhang RCA-Based Detection Methods for Resolution Refutation. Search on Bibsonomy DNA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
46Farn Wang, Aloysius K. Mok RTL and Refutation by Positive Cycles. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
42Wanlian Li, Xing Chen Differential Trust and Hierarchical Regulation: A Study of the Effectiveness of Rumor Refutation on Government Micro-Blogs - Analysis Based on 1290 Rumor Refutation Messages. Search on Bibsonomy Complex. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Vincent Picard Réseaux de réactions : de l'analyse probabiliste à la réfutation . (Reaction networks : from probabilistic analysis to refutation). Search on Bibsonomy 2015   RDF
38Jianmin Zhang, ShengYu Shen, Sikun Li Finding Unsatisfiable Subformulas with Stochastic Method. Search on Bibsonomy IDEAL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Unsatisfiable subformula, Resolution sequence, Refutation trace, Local search, Stochastic method
38Arnold Beckmann Resolution Refutations and Propositional Proofs with Height-Restrictions. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus
38Hans Jürgen Ohlbach New Ways for Developing Proof Theories for First-Order Multi Modal Logics. Search on Bibsonomy CSL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Automated Theorem Proving by Translation and Refutation, Nonclassical Logics, Process Logic, Action Logic, Temporal Logic, Modal Logic, Resolution, Epistemic Logic
37Gianpiero Cabodi, Paolo Camurati, Marco Murciano Automated abstraction by incremental refinement in interpolant-based model checking. Search on Bibsonomy ICCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Joshua Buresh-Oppenheim, David G. Mitchell Minimum Witnesses for Unsatisfiable 2CNFs. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi Constraint Propagation as a Proof System. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Juan Luis Esteban, Jacobo Torán Space Bounds for Resolution. Search on Bibsonomy STACS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Jeffrey Van Baalen, Steve Roach Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
37Peter B. Andrews Transforming Matings into Natural Deduction Proofs. Search on Bibsonomy CADE The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
33Chavalit Likitvivatanavong, Roland H. C. Yap A Refutation Approach to Neighborhood Interchangeability in CSPs. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Amin Coja-Oghlan, Andreas Goerdt, André Lanka Strong Refutation Heuristics for Random k-SAT. Search on Bibsonomy APPROX-RANDOM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33In-Hee Lee, Ji-Yoon Park, Hae-Man Jang, Young-Gyu Chai, Byoung-Tak Zhang DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic. Search on Bibsonomy DNA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Sanjay Jain 0001 Learning with Refutation. Search on Bibsonomy ALT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
33Hans-Albert Schneider An Improvement of Deduction Plans: Refutation Plans. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
26Fumiaki Okushi, Allen Van Gelder Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Modoc, lemmas, satisfiability, resolution, refutation, Model Elimination
26Xubo Zhang, Z. Meral Özsoyoglu Implication and Referential Constraints: A New Formal Reasoning. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Semantic integrity constraints, implication constraints, referential constraints, database system, query containment, semantic query optimization, refutation
26John Esch, Robert Levinson Propagating Truth and Detecting Contradiction in Conceptual Graph Database. Search on Bibsonomy ICCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Generalization Hierarchy, Proof Procedure, Logic, Resolution, Conceptual Graphs, Contradiction, Refutation
26Peter B. Andrews Refutations by Matings. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1976 DBLP  DOI  BibTeX  RDF clause-occurrence, mating, unsatisfiability, first-order logic, resolution, merge, cycle, Automatic theorem proving, refutation
25Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer Boosting interpolation with dynamic localized abstraction and redundancy removal. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interpolant, abstraction, redundancy removal
25Alasdair Urquhart Regular and General Resolution: An Improved Separation. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu From High Girth Graphs to Hard Instances. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Uriel Feige Refuting Smoothed 3CNF Formulas. Search on Bibsonomy FOCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Robert L. Constable, Wojciech Moczydlowski Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Alexander Hertel, Alasdair Urquhart Game Characterizations and the PSPACE-Completeness of Tree Resolution Space. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25M. A. Cárdenas Viedma A sound and complete fuzzy temporal constraint logic. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer Stepping forward with interpolants in unbounded model checking. Search on Bibsonomy ICCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Dimiter Vakarelov Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Nelson negation, subminimal logic, counterexample semantics, many-valued logics
25Allen Van Gelder Input Distance and Lower Bounds for Propositional Resolution Proof Length. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr Cut-Elimination: Experiments with CERES. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Hans Kleine Büning, Xishun Zhao Read-Once Unit Resolution. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Jörg H. Siekmann, Graham Wrightson An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Phil Watson Inductive Learning with Corroboration. Search on Bibsonomy ALT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Koji Iwanuma, Kenichi Kishino Lemma Generalization and Non-unit Lemma Matching for Model Elimination. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Jacobo Torán Lower Bounds for Space in Resolution. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF lower bounds, Resolution, space, complexity measures, pebbling game
25Gilles Défourneaux, Nicolas Peltier Partial Matching for Analogy Discovery in Proofs and Counter-Examples. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Gabriel Aguilera 0001, Inman P. de Guzmán, Manuel Ojeda-Aciego TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Leo Bachmair Proof Normalization for Resolution and Paramodulation. Search on Bibsonomy RTA The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
25James R. Slagle Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity. Search on Bibsonomy J. ACM The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
21Mengzi Yin, Liyi Liu, Linqi Cheng, Zongmin Li, Yan Tu A novel group multi-criteria sorting approach integrating social network analysis for ability assessment of health rumor-refutation accounts. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Zhouhao Sun, Xiao Ding, Li Du, Bibo Cai, Jinglong Gao, Ting Liu 0001, Bing Qin 0001 Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Haoming Guo, Xuefeng Yan Dynamic modeling and simulation of rumor propagation based on the double refutation mechanism. Search on Bibsonomy Inf. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Zongmin Li, Ye Zhao, Tie Duan, Jingqi Dai Configurational patterns for COVID-19 related social media rumor refutation effectiveness enhancement based on machine learning and fsQCA. Search on Bibsonomy Inf. Process. Manag. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Lijie Chen 0001, Roei Tell, Ryan Williams 0001 Derandomization vs Refutation: A Unified Framework for Characterizing Derandomization. Search on Bibsonomy Electron. Colloquium Comput. Complex. The full citation details ... 2023 DBLP  BibTeX  RDF
21Norihiro Kamide Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic. Search on Bibsonomy Stud Logica The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Tomasz F. Skura Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation. Search on Bibsonomy Logica Universalis The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Venkatesan Guruswami, Jun-Ting Hsieh, Pravesh K. Kothari, Peter Manohar Efficient Algorithms for Semirandom Planted CSPs at the Refutation Threshold. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Omar Alrabiah, Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Xuanxiang Huang, João Marques-Silva 0001 A Refutation of Shapley Values for Explainability. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Xuanxiang Huang, João Marques-Silva 0001 Refutation of Shapley Values for XAI - Additional Evidence. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Euna Mehnaz Khan, Ayush Ram, Bhavtosh Rath, Emily Vraga, Jaideep Srivastava Behavioral Forensics in Social Networks: Identifying Misinformation, Disinformation and Refutation Spreaders Using Machine Learning. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Valentino Vito, Lim Yohanes Stefanus Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Guy Bresler, Tianze Jiang Detection-Recovery and Detection-Refutation Gaps via Reductions from Planted Clique. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Qi Luo, Dongxiao Yu, Dongbiao Wang, Yafei Zhang, Yanwei Zheng, Zhipeng Cai 0001 Influence blocking maximization under refutation. Search on Bibsonomy Soc. Netw. Anal. Min. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Lijie Chen 0001, Roei Tell, Ryan Williams 0001 Derandomization vs Refutation: A Unified Framework for Characterizing Derandomization. Search on Bibsonomy FOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Venkatesan Guruswami, Jun-Ting Hsieh, Pravesh K. Kothari, Peter Manohar Efficient Algorithms for Semirandom Planted CSPs at the Refutation Threshold. Search on Bibsonomy FOCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Paulína Ayaziová, Jan Strejcek Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution). Search on Bibsonomy TACAS (2) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Guy Bresler, Tianze Jiang Detection-Recovery and Detection-Refutation Gaps via Reductions from Planted Clique. Search on Bibsonomy COLT The full citation details ... 2023 DBLP  BibTeX  RDF
21K. Subramani 0001, Piotr Wojciechowski 0002 Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in UTVPI Constraints. Search on Bibsonomy COCOA (2) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Omar Alrabiah, Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation. Search on Bibsonomy STOC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21K. Subramani 0001, Piotr Wojciechowski 0002 Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Zongmin Li, Xinyu Du, Ye Zhao, Yan Tu, Benjamin Lev, Lu Gan Lifecycle research of social media rumor refutation effectiveness based on machine learning and visualization technology. Search on Bibsonomy Inf. Process. Manag. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Omar Alrabiah, Venkatesan Guruswami, Pravesh Kothari, Peter Manohar A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation. Search on Bibsonomy Electron. Colloquium Comput. Complex. The full citation details ... 2022 DBLP  BibTeX  RDF
21Milo Roucairol, Tristan Cazenave Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Alexander Edmonds, Aleksandar Nikolov, Toniann Pitassi Learning versus Refutation in Noninteractive Local Differential Privacy. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Anna-Sophia Dersch, Alexander Renkl, Alexander Eitel Personalized refutation texts best stimulate teachers' conceptual change about multimedia learning. Search on Bibsonomy J. Comput. Assist. Learn. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21 Correction for 'Personalized refutation texts best stimulate teachers' conceptual change about multimedia learning' by Dersch et al. (2022). Search on Bibsonomy J. Comput. Assist. Learn. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Camillo Fiorentini, Mauro Ferrari 0002 Forward refutation for Gödel-Dummett Logics. Search on Bibsonomy CILC The full citation details ... 2022 DBLP  BibTeX  RDF
21Alexander Edmonds, Aleksandar Nikolov, Toniann Pitassi On Learning and Refutation in Noninteractive Local Differential Privacy. Search on Bibsonomy NeurIPS The full citation details ... 2022 DBLP  BibTeX  RDF
21Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar Algorithms and certificates for Boolean CSP refutation: smoothed is no harder than random. Search on Bibsonomy STOC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Milo Roucairol, Tristan Cazenave Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search. Search on Bibsonomy COCOON The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Yi Zhang, Jiuping Xu A Dynamic Competition and Predation Model for Rumor and Rumor-Refutation. Search on Bibsonomy IEEE Access The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Jian-Hong Chen, Chaoqun Chen, Qinghua Song, Yi-Fei Zhao, Longxin Deng, Raoqing Xie, Shan Yang Spread Mechanism and Control Strategies of Rumor Propagation Model Considering Rumor Refutation and Information Feedback in Emergency Management. Search on Bibsonomy Symmetry The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Zongmin Li, Qi Zhang, Xinyu Du, Yanfang Ma, Shihang Wang Social media rumor refutation effectiveness: Evaluation, modelling and enhancement. Search on Bibsonomy Inf. Process. Manag. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho Verification and refutation of C programs based on k-induction and invariant inference. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar Algorithms and Certificates for Boolean CSP Refutation: "Smoothed is no harder than Random". Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
21Lukasz Debowski A Refutation of Finite-State Language Models through Zipf's Law for Factual Knowledge. Search on Bibsonomy Entropy The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Jacob Salem, Emma H. Geller Effects of Combining Refutation and Self-Explanation on Student Learning. Search on Bibsonomy CogSci The full citation details ... 2021 DBLP  BibTeX  RDF
21Camillo Fiorentini, Mauro Ferrari 0002 Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Hans Kleine Büning, Piotr Wojciechowski 0002, K. Subramani 0001 NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Ruqi Li, Yinwei Li, Zhongyi Meng, Yurong Song, Guoping Jiang Rumor Spreading Model Considering Individual Activity and Refutation Mechanism Simultaneously. Search on Bibsonomy IEEE Access The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Kwangjun Ahn A simpler strong refutation of random k-XOR. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
21Thomas Macaulay Ferguson Explicit analyses of proof/refutation interaction for constructible falsity and Heyting-Brouwer logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 331 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license