3,497 research outputs found

    An Instantiation-Based Approach for Solving Quantified Linear Arithmetic

    Full text link
    This paper presents a framework to derive instantiation-based decision procedures for satisfiability of quantified formulas in first-order theories, including its correctness, implementation, and evaluation. Using this framework we derive decision procedures for linear real arithmetic (LRA) and linear integer arithmetic (LIA) formulas with one quantifier alternation. Our procedure can be integrated into the solving architecture used by typical SMT solvers. Experimental results on standardized benchmarks from model checking, static analysis, and synthesis show that our implementation of the procedure in the SMT solver CVC4 outperforms existing tools for quantified linear arithmetic

    LGBT MPs and Candidates in the British General Election May 2015: The State of Play

    Get PDF
    The UK has led the way in the inclusion of out LGBT politicians in Westminster. In this post, Andrew Reynolds presents the findings of a recent report which discusses LGBT candidates and politicians in the context of the upcoming election. You can see a full version of the report her

    A Possible Anglo-Saxon Execution Cemetery at Werg, Mildenhall (Cvnetio), Wiltshire and the Wessex-Mercia Frontier in the Age of King Cynewulf

    Get PDF
    This chapter is offered as a small token of immense gratitude to the honorand of this volume. Barbara Yorke’s work sets a standard that few are able to reach; always insightful, to the point and deeply thought-provoking. Her ability to throw new light on well-trodden material is widely acknowledged and is in many ways a function of her belief in, and lifelong engagement with, interdisciplinary approaches to the study of the early Middle Ages and the rich fruits that forays into the past of that nature can bear. Barbara has offered sage advice over the last ten years or so in a series of research collaborations at the Institute of Archaeology, ucl, both guiding and informing the Leverhulme Trust funded projects Beyond the Burghal Hidage, Landscapes of Governance and, most recently, Travel and Communication in Anglo-Saxon England. Before that, from 2000–2003, we were colleagues at the then King Alfred’s College, Winchester (now the University of Winchester), where we shared our common interests. This piece therefore attempts to encapsulate the spirit of interdisciplinary enquiry by bringing together materials drawn from archaeology, written sources and place-names to reveal elements of the early medieval landscape history of a corner of north-eastern Wessex (Fig. 12.1), part of the region that has been the focus of so much of Barbara’s writing and whose complicated history is encapsulated in her hugely influential Wessex in the Early Middle Ages published in 1995
    corecore