Results 211 to 220 of about 9,610,003 (241)
Some of the next articles are maybe not open access.

Relational Verification Through Horn Clause Transformation

Sensors Applications Symposium, 2016
E. D. Angelis   +3 more
semanticscholar   +1 more source

Soundness of Inprocessing in Clause Sharing SAT Solvers

International Conference on Theory and Applications of Satisfiability Testing, 2013
Norbert Manthey   +2 more
semanticscholar   +1 more source

The geometry of predication: a configurational derivation of the defining property of clause structure

Philosophical Transactions of the Royal Society B: Biological Sciences, 2020
Andrea Moro
exaly  

Home - About - Disclaimer - Privacy