• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 127 matches

• 2023
• 
  Evgeny Dantsin, Alexander Wolpert:
  An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF. J. Satisf. Boolean Model. Comput. 14(1): 1-15 (2023)
• 
  Daniel-Jesus Munoz, Mónica Pinto, Lidia Fuentes, Don S. Batory:
  Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language. J. Syst. Softw. 204: 111770 (2023)
• 2022
• 
  Sophie Pinchinat, Sasha Rubin, François Schwarzentruber:
  Formula Synthesis in Propositional Dynamic Logic with Shuffle. AAAI 2022: 9902-9909
• 
  Michal Sochanski:
  Representing Formulas of Propositional Logic by Cographs, Permutations and Tables. Diagrams 2022: 312-320
• 
  Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander:
  Explainability via Short Formulas: the Case of Propositional Logic with Implementation. HYDRA/RCRA@LPNMR 2022: 64-77
• 
  Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander:
  Explainability via Short Formulas: the Case of Propositional Logic with Implementation. CoRR abs/2209.01403 (2022)
• 2021
• 
  Zaijun Zhang, Daoyun Xu, Jincheng Zhou:
  A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form. Entropy 23(3): 303 (2021)
• 2019
• 
  Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn:
  Gelfond-Zhang aggregates as propositional formulas. Artif. Intell. 274: 26-43 (2019)
• 
  Paul Tarau:
  Formula Transformers and Combinatorial Test Generators for Propositional Intuitionistic Theorem Provers. CoRR abs/1910.01775 (2019)
• 
  Reazul Hasan Russel:
  A Probabilistic Approach to Satisfiability of Propositional Logic Formulae. CoRR abs/1912.02150 (2019)
• 2018
• 
  John J. Sidtis, Diana Van Lancker Sidtis, Vijay Dhawan, David Eidelberg:
  Switching Language Modes: Complementary Brain Patterns for Formulaic and Propositional Language. Brain Connect. 8(3): 189-196 (2018)
• 
  Fu Li, Iddo Tzameret, Zhengyu Wang:
  Characterizing Propositional Proofs as Noncommutative Formulas. SIAM J. Comput. 47(4): 1424-1462 (2018)
• 
  Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai:
  Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. AAAI 2018: 1835-1844
• 
  (Withdrawn) Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. CoRR abs/1806.11304 (2018)
• 2017
• 
  João Marques-Silva, Mikolás Janota, Carlos Mencía:
  Minimal sets on propositional formulae. Problems and reductions. Artif. Intell. 252: 22-50 (2017)
• 
  Joohyung Lee, Yi Wang:
  Fuzzy Propositional Formulas under the Stable Model Semantics. FLAP 4(7) (2017)
• 
  Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn:
  Gelfond-Zhang Aggregates as Propositional Formulas. LPNMR 2017: 117-131
• 
  Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi:
  Clustering Complex Data Represented as Propositional Formulas. PAKDD (2) 2017: 441-452
• 2016
• 
  Xiaoli Gao, Xiaojing Hui, Naidiao Zhu:
  n值ukasiewicz逻辑系统中公式的向量表示及其研究 (Research on Vector Representation of Formula in n-valued ukasiewicz Propositional Logic System). 计算机科学 43(Z11): 83-87 (2016)
• 
  Naidiao Zhu, Xiaojing Hui, Xiaoli Gao:
  Gdel n值命题逻辑系统中命题公式的t真度及近似推理 (t Truth Degree of Formulas and Approximate Reasoning in Gdel n-valued Propositional Logic System). 计算机科学 43(Z11): 97-102 (2016)
• 
  Raju Halder, Angshuman Jana, Agostino Cortesi:
  Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain. Trans. Large Scale Data Knowl. Centered Syst. 23: 23-44 (2016)
• 2015
• 
  Mikolás Janota, Inês Lynce, João Marques-Silva:
  Algorithms for computing backbones of propositional formulae. AI Commun. 28(2): 161-177 (2015)
• 
  Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada:
  Public and Secret Forgetting of Propositional Formulas. CAEPIA 2015: 139-149
• 
  Fu Li, Iddo Tzameret, Zhengyu Wang:
  Non-Commutative Formulas and Frege Lower Bounds: a New Characterization of Propositional Proofs. CCC 2015: 412-432
• 
  Zhijia Zhang, Yang Xu:
  The New Directed Hypergraph for CNF Formula of Propositional Logic. ISKE 2015: 133-137
• 
  Marta Arias, José L. Balcázar, Cristina Tîrnauca:
  Learning Propositional Horn Formulas from Closure Queries. CoRR abs/1503.09025 (2015)
• 
  Fu Li, Iddo Tzameret, Zhengyu Wang:
  Characterizing Propositional Proofs as Non-Commutative Formulas. Electron. Colloquium Comput. Complex. TR15 (2015)
• 2014
• 
  Sebastian Müller, Iddo Tzameret:
  Short propositional refutations for dense random 3CNF formulas. Ann. Pure Appl. Log. 165(12): 1864-1918 (2014)
• 
  Joohyung Lee, Yi Wang:
  Stable Models of Fuzzy Propositional Formulas. PRUV 2014: 114-126
• 
  Saïd Jabbour, João Marques-Silva, Lakhdar Sais, Yakoub Salhi:
  Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. JELIA 2014: 152-165

skipping 97 more matches