Pages that link to "Item:Q4916080"

The following pages link to Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080):

Displaying 20 items.

• Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
• Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (Q682374) (← links)
• Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
• SGGS decision procedures (Q2096457) (← links)
• SCL(EQ): SCL for first-order logic with equality (Q2104511) (← links)
• Eliminating models during model elimination (Q2142079) (← links)
• SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment (Q2303255) (← links)
• SCL clause learning from simple models (Q2305416) (← links)
• Faster, higher, stronger: E 2.3 (Q2305435) (← links)
• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) (Q2321317) (← links)
• Predicate Elimination for Preprocessing in First-Order Theorem Proving (Q2818027) (← links)
• NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Q2964454) (← links)
• First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation (Q2964455) (← links)
• Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (Q3454089) (← links)
• Implementing Superposition in iProver (System Description) (Q5049017) (← links)
• The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
• The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)
• SCL(EQ): SCL for first-order logic with equality (Q6111523) (← links)
• Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
• Invariant neural architecture for learning term synthesis in instantiation proving (Q6650564) (← links)