swMATH13265MaRDI QIDQ25180FDOQ25180
Author name not available (Why is that?)
Official website: http://www.easychair.org/
Cited In (only showing first 100 items - show all)
- Process algebra and model checking
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus
- Scalable fine-grained proofs for formula processing
- HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems
- Fast and slow enigmas and parental guidance
- Vampire with a brain is a good ITP hammer
- Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs
- Fuzzy intensional semantics
- On the decision problem for MELL
- Computer says no: verdict explainability for runtime monitors using a local proof system
- GANAK
- LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8--12, 2017. Selected papers
- Reducing complex CSP models to traces via priority
- Performance of clause selection heuristics for saturation-based theorem proving
- Context-free commutative grammars with integer counters and resets
- Breaking symmetries in graph search with canonizing sets
- Layered clause selection for theory reasoning (short paper)
- Internal guidance for Satallax
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
- Building strategies into QBF proofs
- ENIGMA: efficient learning-based inference guiding machine
- Complexity and resource bound analysis of imperative programs using difference constraints
- Set-theoretic analysis of nominative data
- E-SETHEO
- ML4PG
- HipSpec
- StarExec
- iProver
- PARTHEO
- BWare
- Imogen
- FDR3
- ModLeanTAP
- FOCI
- HotCRP
- HOT
- LeoPARD
- Websubrev
- Saucy
- E-MaLeS
- randoCoP
- BliStr
- FAST
- FALCON
- Cyclist
- BliStrTune
- OpenSMT2
- GPUexplore
- InKa
- HYST
- Spacer
- SPHIN
- A3PAT
- Logic Theorist
- ALGOL 60
- Saturate
- Model Predictive Control Toolbox
- Hierarchical invention of theorem proving strategies
- Tarski
- Seq2Seq
- conauto
- ATPboost
- AVATAR
- Quantor
- MadMax
- Psyche
- Twee
- VerifyThis
- FLOTTER
- AGES
- HR-SQL
- GKC
- DLPEQ
- lpeq
- VERIFAI
- SFADiff
- Inductive benchmarks for automated reasoning
- ast2vec
- Imandra
- sKizzo
- DL2
- Preprocessing for DQBF
- Goeland
- libfsmtest
- QBFFam
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)
- Assigning papers to referees
- Hammer for Coq: automation for dependent type theory
- Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components
- Lash
- QMaxSATpb
- Heterogeneous heuristic optimisation and scheduling for first-order theorem proving
- The CADE-26 automated theorem proving system competition -- CASC-26
- Novel techniques to speed up the computation of the automorphism group of a graph
- Deciding Structural Liveness of Petri Nets
- Counting with probabilistic and ultrametric finite automata
- dCAQE
- Verification of Flat FIFO Systems
- Extensional higher-order paramodulation in Leo-III
- Predicate Elimination for Preprocessing in First-Order Theorem Proving
This page was built for software: Easychair
