BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Christoph Weidenbach
SearchCollections
Map detail
Christoph Weidenbach10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipChristoph WeidenbachAChristoph WeidenbachResearcherThe Challenge of Unifying Semantic and Syntactic Inference RestrictionsWThe Challenge of Unifyi...preprint / 2019SCL(EQ): SCL for First-Order Logic with EqualityWSCL(EQ): SCL for First-...preprint / 2022Bernays-Schoenfinkel-Ramsey with Simple Bounds is NEXPTIME-completeWBernays-Schoenfinkel-Ra...preprint / 2020First-Order Logic Theorem Proving and Model Building via Approximation and InstantiationWFirst-Order Logic Theor...preprint / 2015NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Full Paper)WNRCL - A Model Building...preprint / 2015Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material)WAutomated Verification ...preprint / 2014Deciding First-Order Satisfiability when Universal and Existential Variables are SeparatedWDeciding First-Order Sa...preprint / 2016Connection-minimal Abduction in EL via Translation to FOL -- Technical ReportWConnection-minimal Abdu...preprint / 2022A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear ArithmeticWA Sorted Datalog Hammer...preprint / 2022
Person9 links

Christoph Weidenbach

Researcher

PaperThe Challenge of Unifying Semantic and Syntactic Inference RestrictionsAuthorship / preprint / 2019PaperSCL(EQ): SCL for First-Order Logic with EqualityAuthorship / preprint / 2022PaperBernays-Schoenfinkel-Ramsey with Simple Bounds is NEXPTIME-completeAuthorship / preprint / 2020PaperFirst-Order Logic Theorem Proving and Model Building via Approximation and InstantiationAuthorship / preprint / 2015PaperNRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Full Paper)Authorship / preprint / 2015PaperAutomated Verification of Interactive Rule-Based Configuration Systems (Additional Material)Authorship / preprint / 2014PaperDeciding First-Order Satisfiability when Universal and Existential Variables are SeparatedAuthorship / preprint / 2016PaperConnection-minimal Abduction in EL via Translation to FOL -- Technical ReportAuthorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)